Changes between Version 12 and Version 13 of WikiStart
- Timestamp:
- Mar 7, 2012, 11:54:40 AM (13 years ago)
Legend:
- Unmodified
- Added
- Removed
- Modified
-
WikiStart
v12 v13 4 4 [[wiki:CompositionalBiblio| Compositional Reasoning biblio]] 5 5 6 [[BibAdd(attachment:biblio.bib)]] 6 7 [[BibAdd(source:/biblio/biblio.bib)]] 8 7 9 [[export:/biblio/verif_biblio.html|The Complete Biblio]] 8 10 9 11 10 12 11 New article to read:[[BibCite(Sharygin2012)]]13 '''IMPORTANT''' : New article to read:[[BibCite(springerlink:10.1007/978-3-540-68073-4_4)]] 12 14 13 15