César A. Muñoz, Ramiro A. Demasi. Advanced Theorem Proving Techniques in PVS and Applications. In Bertrand Meyer, Martin Nordio, editors, Tools for Practical Software Verification, LASER, International Summer School 2011, Elba Island, Italy, Revised Tutorial Lectures. Volume 7682 of Lecture Notes in Computer Science, pages 96-132, Springer, 2011. [doi]
Abstract is missing.