Proof Abstraction for Imperative Languages

Programming Languages and Systems - Lecture Notes in Computer Science ◽

10.1007/11924661_6 ◽

2006 ◽

pp. 97-113 ◽

Cited By ~ 1

Author(s):

William L. Harrison

Download Full-text