Search
Lexile Level
AR Level
AR Level
Formal Methods for Industrial Critical Systems: 24th International Conference, Fmics 2019, Amsterdam, the Netherlands, August 30-31, 2019, Proceedings 9783030270070 by
Larsen, Kim Guldstrand -
Springer,
-2019
Dewey: 005.13
N/A
Verification, Model Checking, and Abstract Interpretation: 16th International Conference, Vmcai 2015, Mumbai, India, January 12-14, 2015, Proceedings 9783662460801 by
D'Souza, Deepak -
Springer,
-2015
Dewey: 004.0151
N/A
Reachability Problems: 10th International Workshop, Rp 2016, Aalborg, Denmark, September 19-21, 2016, Proceedings (2016) 9783319459936 by
Larsen, Kim Guldstrand -
Springer,
-2016
Dewey: 004.0151
N/A
Tools and Algorithms for the Construction and Analysis of Systems: 27th International Conference, Tacas 2021, Held as Part of the European Joint Confe 9783030720155 by
Groote, Jan Friso -
Springer,
-2021
N/A
Tools and Algorithms for the Construction and Analysis of Systems: 27th International Conference, Tacas 2021, Held as Part of the European Joint Confe 9783030720124 by
Groote, Jan Friso -
Springer,
-2021
N/A
Dependable Software Engineering. Theories, Tools, and Applications: Third International Symposium, Setta 2017, Changsha, China, October 23-25, 2017, P 9783319694825 by
Larsen, Kim Guldstrand -
Springer,
-2017
Dewey: 003.3
N/A