%0 Conference Paper %1 conf/itp/KohlhaseMOR17 %A Kohlhase, Michael %A Müller, Dennis %A Owre, Sam %A Rabe, Florian %B ITP %D 2017 %E Ayala-Rincón, Mauricio %E Muñoz, César A. %I Springer %K dblp %P 319-335 %T Making PVS Accessible to Generic Services by Interpretation in a Universal Format. %U http://dblp.uni-trier.de/db/conf/itp/itp2017.html#KohlhaseMOR17 %V 10499 %@ 978-3-319-66107-0

@inproceedings{conf/itp/KohlhaseMOR17, added-at = {2020-11-20T00:00:00.000+0100}, author = {Kohlhase, Michael and Müller, Dennis and Owre, Sam and Rabe, Florian}, biburl = {https://www.bibsonomy.org/bibtex/278eb0474b66f185261834d80466ab6ef/dblp}, booktitle = {ITP}, crossref = {conf/itp/2017}, editor = {Ayala-Rincón, Mauricio and Muñoz, César A.}, ee = {https://www.wikidata.org/entity/Q57389276}, interhash = {4dec2c288d6971781c30d94064f5e572}, intrahash = {78eb0474b66f185261834d80466ab6ef}, isbn = {978-3-319-66107-0}, keywords = {dblp}, pages = {319-335}, publisher = {Springer}, series = {Lecture Notes in Computer Science}, timestamp = {2020-11-21T11:37:23.000+0100}, title = {Making PVS Accessible to Generic Services by Interpretation in a Universal Format.}, url = {http://dblp.uni-trier.de/db/conf/itp/itp2017.html#KohlhaseMOR17}, volume = 10499, year = 2017 }