Der erste Band der Schriftenreihe "Conference Series: Formal Methods in Computer-Aided Design" ist erschienen und steht als Open-Access-E-Book kostenlos zum Download zur Verfügung:
"Formal Methods in Computer-Aided Design" ist eine Konferenzreihe zu Theorie und Anwendung von formalen Methoden in Hardware- und Systemverifikation. Die Conference Proceedings erscheinen künftig jährlich bei TU Wien Academic Press.
Mehr zu TU Wien Academic Press, öffnet eine externe URL in einem neuen Fenster