Some publications by Thomas A. Henzinger
|
Back
Articles in journal or book chapters
|
-
Dirk Beyer,
Thomas A. Henzinger,
Ranjit Jhala,
and Rupak Majumdar.
The Software Model Checker Blast: Applications to Software Engineering..
Int. Journal on Software Tools for Technology Transfer,
9:505–525,
2007.
Note: Invited to special issue of selected papers from FASE 2005.
This document was translated from BibTEX by
bibtex2html