A Broader View on Verification: From Static to Runtime and Back (Track Summary)

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

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

2018 ◽

pp. 3-7

Author(s):

Wolfgang Ahrendt ◽

Marieke Huisman ◽

Giles Reger ◽

Kristin Yvonne Rozier

Download Full-text