On Rely-Guarantee Reasoning

Lecture Notes in Computer Science - Mathematics of Program Construction ◽

10.1007/978-3-319-19797-5_2 ◽

2015 ◽

pp. 30-49 ◽

Cited By ~ 3

Author(s):

Stephan van Staden

Download Full-text