Kenneth L. McMillan
3 published titles
Symbolic model checking
1 edition
- ISBN: 0792393805
- Kluwer Academic
- 1993
- Details
Logic for programming, artificial intelligence, and reasoning : 19th International Conference, LPAR-19, Stellenbosch, South Africa, December 14-19, 2013, proceedings
(Contributor)
1 edition
- ISBN: 9783642452208
- Springer
- 2013
- Details
Verification, model checking, and abstract interpretation : 15th International Conference, VMCAI 2014, San Diego, CA, USA, January 19-21, 2014. Proceedings
(Contributor)
1 edition
- ISBN: 9783642540134
- Springer
- 2014
- Details
