Proceedings of the 20th Conference on Formal Methods in Computer-Aided Design – FMCAD 2020
Book title Buchtitel
Proceedings of the 20th Conference on Formal Methods in Computer-Aided Design – FMCAD 2020
ISBN
978-3-85448-042-6
Pages Seiten
269
Editor Herausgeber_in
Publisher Herausgeber
TU Wien Academic Press
Place of publishing Erscheinungsort
Wien
First Edition Erstausgabe
First Edition
Volume Band
1