Computer Aided Verification: 30th International Conference, CAV 2018
Book title Buchtitel
Computer Aided Verification: 30th International Conference, CAV 2018
ISBN
978-3-319-96144-6
Editor Herausgeber_in
Publisher Verlag
Springer
Place of publishing Erscheinungsort
Cham
DOI
10.1007/978-3-319-96145-3
Volume Band
10981
Results 1-2 of 2 (Search time: 0.001 seconds).