Let this Graph Be Your Witness!

Computer Aided Verification - Lecture Notes in Computer Science ◽

10.1007/978-3-319-96142-2_1 ◽

2018 ◽

pp. 3-11 ◽

Author(s):

Hannah Arndt ◽

Christina Jansen ◽

Joost-Pieter Katoen ◽

Christoph Matheja ◽

Thomas Noll

Download Full-text