Let’s Prove It Later—Verification at Different Points in Time

Software Engineering and Formal Methods - Lecture Notes in Computer Science ◽

10.1007/978-3-030-30446-1_24 ◽

2019 ◽

pp. 454-468

Author(s):

Martin Ring ◽

Christoph Lüth

Download Full-text