J.-C. Filliâtre. Why: a multi-language multi-prover verification tool. Research Report 1366, LRI, Université Paris Sud, March 2003.
[
bib
|
.ps.gz
]
Back
This file has been generated by
bibtex2html
1.63