Treffer: Proceedings of the 21st Conference on Formal Methods in Computer-Aided Design - FMCAD 2021

Titel:

Verantwortlich:

Veröffentlicht:

Vienna : TU Wien Academic Press, 2021

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 ; 2

ISBN:

9783854480464

Zusatz-Informationen