source: Papers/jar-assembler-2014/boender-jar-2014.bib @ 3514

Last change on this file since 3514 was 3514, checked in by mulligan, 5 years ago

added outline of new paper

File size: 455 bytes
Line 
1@article
2{ asperti:user:2007,
3  author = {Andrea Asperti and Claudio {Sacerdoti Coen} and Enrico Tassi and Stefano Zacchiroli},
4  title = {User interaction with the {Matita} proof assistant},
5  journal = {Automated Reasoning},
6  pages = {109--139},
7  volume = {39},
8  issue = {2},
9  year = {2007}
10}
11
12@misc
13{ cerco:2011,
14  title = {The {CerCo} {FET-Open} project},
15  howpublished = {\url{http://cerco.cs.unibo.it/}},
16  year = {2011},
17  key = {CerCo:2011}
18}
Note: See TracBrowser for help on using the repository browser.