Publications of Grégoire Sutre with W. Weimer
Conference articles
-
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