Verified Self-Explaining Computation

Lecture Notes in Computer Science - Mathematics of Program Construction ◽

10.1007/978-3-030-33636-3_4 ◽

2019 ◽

pp. 76-102 ◽

Author(s):

Jan Stolarek ◽

James Cheney

Download Full-text