Co-induction Simply

Lecture Notes in Computer Science - FM 2014: Formal Methods ◽

10.1007/978-3-319-06410-9_27 ◽

2014 ◽

pp. 382-398 ◽

Author(s):

K. Rustan M. Leino ◽

Michał Moskal

Download Full-text