![(please configure the [header_logo] section in trac.ini)](/trac/verif_tools/chrome/site/your_project_logo.png){kind=logo}
| Version 11 (modified by , 12 years ago) (diff) |
|---|
Verification Team
Biblio
CompositionalBiblio Compositional Reasoning biblio?
BibAdd(attachment:biblio.bib)? The Complete Biblio
New article to read:BibCite(Sharygin2012)?
Tools
Attachments (1)
- biblio.bib (128.9 KB) - added by 12 years ago.
Download all attachments as: .zip
