Treffer: Proceedings of the 22nd Conference on Formal Methods in Computer-Aided Design - FMCAD 2022

Titel:

Verantwortlich:

Veröffentlicht:

Vienna : TU Wien Academic Press, 2022

Vertrieb:

The Hague : Oapen Foundation

Umfang:

1 Online-Ressource (305 p.)

Publikationstyp:

E-Book

Sprache:

Englisch

Schriftenreihe/Mehrbändiges Werk:

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

ISBN:

9783854480532

Zusatz-Informationen