Analyzing Mutable Checkpointing via Invariants

Fundamentals of Software Engineering - Lecture Notes in Computer Science ◽

10.1007/978-3-319-24644-4_12 ◽

2015 ◽

pp. 176-190 ◽

Author(s):

Deepanker Aggarwal ◽

Astrid Kiehn

Download Full-text