Computer Aided Verification
Hana Chockler, Georg Weissenbacher
Computer Aided Verification - Springer 2018 - Lecture Notes in Computer Science .
Computer Science
Computer Aided Verification - Springer 2018 - Lecture Notes in Computer Science .
Computer Science