%0 Conference Paper %1 conf/itp/RingL14 %A Ring, Martin %A Lüth, Christoph %B ITP %D 2014 %E Klein, Gerwin %E Gamboa, Ruben %I Springer %K %P 467-482 %T Collaborative Interactive Theorem Proving with Clide. %U http://dblp.uni-trier.de/db/conf/itp/itp2014.html#RingL14 %V 8558 %@ 978-3-319-08969-0

@inproceedings{conf/itp/RingL14, added-at = {2023-12-13T10:04:33.000+0100}, author = {Ring, Martin and Lüth, Christoph}, biburl = {https://www.bibsonomy.org/bibtex/290ddd4ee5344e78230dc6fd17ba3df43/admin}, booktitle = {ITP}, crossref = {conf/itp/2014}, editor = {Klein, Gerwin and Gamboa, Ruben}, ee = {https://doi.org/10.1007/978-3-319-08970-6_30}, interhash = {d4988b34aaecb5c4244be5f555dd7d1a}, intrahash = {90ddd4ee5344e78230dc6fd17ba3df43}, isbn = {978-3-319-08969-0}, keywords = {}, pages = {467-482}, publisher = {Springer}, series = {Lecture Notes in Computer Science}, timestamp = {2023-12-13T10:04:33.000+0100}, title = {Collaborative Interactive Theorem Proving with Clide.}, url = {http://dblp.uni-trier.de/db/conf/itp/itp2014.html#RingL14}, volume = 8558, year = 2014 }