Refinement Algebra with Operators for Enabledness and Termination

Lecture Notes in Computer Science - Mathematics of Program Construction ◽

10.1007/11783596_23 ◽

2006 ◽

pp. 397-415 ◽

Cited By ~ 14

Author(s):

Kim Solin ◽

Joakim von Wright

Download Full-text