Kovacs, Laura, Chalmers University of Technology, Sweden
-
Volume 70: Automated Verification of Critical Systems 2014 - Articles
Symbol Elimination for Automated Generation of Program Properties
Abstract PDF
Hosted By Universitätsbibliothek TU Berlin.