Automating Software Re-engineering

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

10.1007/978-3-030-61470-6_1 ◽

2020 ◽

pp. 3-8

Author(s):

Serge Demeyer ◽

Reiner Hähnle ◽

Heiko Mantel

Download Full-text