Lanzamientos por Kenneth McMillan

Cover for Kenneth Mcmillan · Verification, Model Checking, and Abstract Interpretation: 15th International Conference, VMCAI 2014, San Diego, CA, USA, January 19-21, 2014, Proceedings - Lecture Notes in Computer Science (Paperback Book) [2014 edition] (2014)
Paperback Book
2014 edition
Verification, Model Checking, an...
Kenneth Mcmillan
Cover for Kenneth McMillan · Symbolic Model Checking (Hardcover Book) (1993)
Hardcover Book
Symbolic Model Checking
Kenneth McMillan