@dblp

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

, , , and . ITP, volume 10499 of Lecture Notes in Computer Science, page 319-335. Springer, (2017)

Links and resources

Tags