Search
Lexile Level
AR Level
AR Level
Computer Aided Verification: 25th International Conference, Cav 2013, Saint Petersburg, Russia, July 13-19, 2013, Proceedings (2013) 9783642397981 by
Sharygina, Natasha -
Springer,
-2013
Dewey: 004.6
N/A
N/A
Tools and Algorithms for the Construction and Analysis of Systems: 29th International Conference, Tacas 2023, Held as Part of the European Joint Confe 9783031308192 by
Sankaranarayanan, Sriram -
Springer,
-2023
N/A
Validation of Evolving Software (Softcover Reprint of the Original 1st 2015) 9783319382005 by
Chockler, Hana -
Springer,
-2016
Dewey: 005
N/A
Software Verification: 13th International Conference, Vstte 2021, New Haven, Ct, Usa, October 18-19, 2021, and 14th International Workshop, Nsv 2021, 9783030955601 by
Bloem, Roderick -
Springer,
-2022
N/A