Provider: Schloss Dagstuhl - Leibniz Center for Informatics
Database: dblp computer science bibliography
Content:text/plain; charset="utf-8"
TY - CPAPER
ID - DBLP:conf/laser/MunozD11
AU - Muñoz, César A.
AU - Demasi, Ramiro A.
TI - Advanced Theorem Proving Techniques in PVS and Applications.
BT - Tools for Practical Software Verification, LASER, International Summer School 2011, Elba Island, Italy, Revised Tutorial Lectures
SP - 96
EP - 132
PY - 2011//
DO - 10.1007/978-3-642-35746-6_4
UR - https://doi.org/10.1007/978-3-642-35746-6_4
ER -
