Publications of Grégoire Sutre with W. Weimer

Conference articles

  1. T. A. Henzinger, R. Jhala, R. Majumdar, G. C. Necula, G. Sutre, and W. Weimer. Temporal-Safety Proofs for Systems Code. In Proc. 14th Int. Conf. Computer Aided Verification (CAV'2002), Copenhagen, Denmark, July 2002, volume 2404 of Lecture Notes in Computer Science, pages 526-538. Springer, 2002. [ps] [doi] [bib]

This document was translated from BibTEX by bibtex2html