Refinement to Imperative/HOL

Interactive Theorem Proving - Lecture Notes in Computer Science ◽

10.1007/978-3-319-22102-1_17 ◽

2015 ◽

pp. 253-269 ◽

Cited By ~ 28

Author(s):

Peter Lammich

Download Full-text