Computer Aided Verification
Damien Graux Emanuel Sallinger Hajira Jabeen Valentina Janev
Computer Aided Verification - Springer International Publishing 2020 - Lecture Notes in Computer Science; 12224 1611-3349 .
978-3-030-53287-1 978-3-030-53288-8
Computer Science
Computer Aided Verification - Springer International Publishing 2020 - Lecture Notes in Computer Science; 12224 1611-3349 .
978-3-030-53287-1 978-3-030-53288-8
Computer Science