%0 Conference Paper %1 conf/laser/MunozD11 %A Muñoz, César A. %A Demasi, Ramiro A. %B LASER Summer School %D 2011 %E Meyer, Bertrand %E Nordio, Martin %I Springer %K dblp %P 96-132 %T Advanced Theorem Proving Techniques in PVS and Applications. %U http://dblp.uni-trier.de/db/conf/laser/laser2011.html#MunozD11 %V 7682 %@ 978-3-642-35746-6

@inproceedings{conf/laser/MunozD11, added-at = {2017-05-21T00:00:00.000+0200}, author = {Muñoz, César A. and Demasi, Ramiro A.}, biburl = {https://www.bibsonomy.org/bibtex/2ef75f6c57dc0cb6a2ba4b3ba69704c00/dblp}, booktitle = {LASER Summer School}, crossref = {conf/laser/2011}, editor = {Meyer, Bertrand and Nordio, Martin}, ee = {https://doi.org/10.1007/978-3-642-35746-6_4}, interhash = {07516ca71080d21e46f55e7aea6c4cd4}, intrahash = {ef75f6c57dc0cb6a2ba4b3ba69704c00}, isbn = {978-3-642-35746-6}, keywords = {dblp}, pages = {96-132}, publisher = {Springer}, series = {Lecture Notes in Computer Science}, timestamp = {2019-05-15T14:19:19.000+0200}, title = {Advanced Theorem Proving Techniques in PVS and Applications.}, url = {http://dblp.uni-trier.de/db/conf/laser/laser2011.html#MunozD11}, volume = 7682, year = 2011 }