Making PVS Accessible to Generic Services by Interpretation in a Universal Format.

Michael Kohlhase, Dennis Mller, Sam Owre, Florian Rabe

Browse the full ITP paper archive.