equal
deleted
inserted
replaced
192 journal = {Journal of Computer and System Science (JCSS)}, |
192 journal = {Journal of Computer and System Science (JCSS)}, |
193 year = {1978}, |
193 year = {1978}, |
194 number = {17}, |
194 number = {17}, |
195 pages = {348-374} |
195 pages = {348-374} |
196 } |
196 } |
|
197 |
|
198 @inproceedings{Wenzel-11:doc-orient, |
|
199 author = {Wenzel, Makarius}, |
|
200 title = {Isabelle as document-oriented proof assistant}, |
|
201 booktitle = {Proceedings of the 18th Calculemus and 10th international conference on Intelligent computer mathematics}, |
|
202 series = {MKM'11}, |
|
203 year = {2011}, |
|
204 isbn = {978-3-642-22672-4}, |
|
205 location = {Bertinoro, Italy}, |
|
206 pages = {244--259}, |
|
207 numpages = {16}, |
|
208 url = {http://dl.acm.org/citation.cfm?id=2032713.2032732}, |
|
209 acmid = {2032732}, |
|
210 publisher = {Springer-Verlag}, |
|
211 address = {Berlin, Heidelberg}, |
|
212 } |
|
213 |
|
214 @InProceedings{Makarius-09:parall-proof, |
|
215 author = {Wenzel, Makarius}, |
|
216 title = {Parallel Proof Checking in {Isabelle/Isar}}, |
|
217 booktitle = {ACM SIGSAM 2009 International Workshop on Programming Languages for Mechanized Mathematics Systems (PLMMS)}, |
|
218 year = {2009}, |
|
219 editor = {Dos Reis and L. Th\'ery}, |
|
220 address = {Munich}, |
|
221 month = {August}, |
|
222 publisher = {ACM Digital library} |
|
223 } |