![(please configure the [header_logo] section in trac.ini)](/trac/verif_tools/chrome/site/your_project_logo.png){kind=logo}
Verification Team
Biblio
Compositional Reasoning biblio
BibAdd(source:/biblio/biblio.bib)?
IMPORTANT : New article to read:BibCite(springerlink:10.1007/978-3-540-68073-4_4)?
Tools
Last modified 13 years ago
Last modified on Mar 7, 2012, 11:54:40 AM
Attachments (1)
- biblio.bib (128.9 KB) - added by 13 years ago.
Download all attachments as: .zip
