Reniers, Michel
-
Volume 23: Automated Verification of Critical Systems 2009 - Articles
Verification of safety requirements for program code using data abstraction
Abstract PDF
Hosted By Universitätsbibliothek TU Berlin.
Electronic Communications of the EASST