...
 
Commits (2)
......@@ -485,12 +485,13 @@
pages = {423--453},
}
@unpublished{coqtoxml_csc,
@inproceedings{coqtoxml_csc,
SOONcrossref = {CICM19},
author = {Claudio {Sacerdoti Coen}},
title = {A {C}oq plugin to export its libraries to {XML}},
note = {{S}ubmitted to {CICM} 2019},
url = {http://www.cs.unibo.it/~sacerdot/cicm19/xmlexport.pdf},
title = {A plugin to export {Coq} libraries to {XML}},
booktitle = {12th International Conference on Intelligent Computer Mathematics (CICM 19)},
year = 2019,
series = "Lecture Notes in Artificial Intelligence"
}
......