News articles

TU Wien Academic Press - New release: FMCAD 2020

"Proceedings of the 20th Conference on Formal Methods in Computer-Aided Design - FMCAD 2020" now available. The FMCAD Conference has been held online for the first time from 21 - 24 September 2020.

Proceedings: FMCAD

The first volume of the conference series “Formal Methods in Computer-Aided Design” is now available at TU Wien Academic Pres as an open access e-book.

E-Book "Proceedings of the 20th Conference on Formal Methods in Computer-Aided Design - FMCAD 2020", opens an external URL in a new window

Formal Methods in Computer-Aided Design (FMCAD) is a conference series on the theory and applications of formal methods in hardware and system verification. The FMCAD conference proceedings will be published annually within the new series by TU Wien Academic Press.

More on TU Wien Academic Press, opens an external URL in a new window