![(please configure the [header_logo] section in trac.ini)](/trac/verif_tools/chrome/site/your_project_logo.png){kind=logo}
| Version 13 (modified by , 13 years ago) (diff) |
|---|
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
Attachments (1)
- biblio.bib (128.9 KB) - added by 13 years ago.
Download all attachments as: .zip
