Who Carries the Burden of Modularity?

Leveraging Applications of Formal Methods, Verification and Validation: Verification Principles - Lecture Notes in Computer Science ◽

10.1007/978-3-030-61362-4_1 ◽

2020 ◽

pp. 3-21

Author(s):

Dilian Gurov ◽

Reiner Hähnle ◽

Eduard Kamburjan

Download Full-text