Treffer: Proceedings of the 20th Conference on Formal Methods in Computer-Aided Design - FMCAD 2020

Titel:

Verantwortlich:

Veröffentlicht:

Vienna : TU Wien Academic Press ; TU Wien Academic Press [Imprint], 2020

Vertrieb:

The Hague : Oapen Foundation

Umfang:

1 Online-Ressource (284 p.)

Publikationstyp:

E-Book

Sprache:

Englisch

Schriftenreihe/Mehrbändiges Werk:

Conference Series: Formal Methods in Computer-Aided Design ; 1

ISBN:

9783854480426

Zusatz-Informationen