Evans, Neil
-
Volume 35: Automated Verification of Critical Systems 2010 - Articles
Integrating Formal Methods with Informal Digital Hardware Development
Abstract PDF
Hosted By Universitätsbibliothek TU Berlin.
Electronic Communications of the EASST