![(please configure the [header_logo] section in trac.ini)](/trac/verif_tools/chrome/site/your_project_logo.png){kind=logo}
| Version 12 (modified by , 14 years ago) ( diff ) |
|---|
Verification Team
Biblio
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 14 years ago.
Download all attachments as: .zip
Note:
See TracWiki
for help on using the wiki.
