Some publications by Thomas A. Henzinger

Back

Articles in journal or book chapters
  1. 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:505525, 2007. Note: Invited to special issue of selected papers from FASE 2005.



This document was translated from BibTEX by bibtex2html