McMillan, Kenneth L.
VIAF ID: 58289028 ( Personal )
Permalink: http://viaf.org/viaf/58289028
Preferred Forms
- 100 1 _ ‡a McMillan, Kenneth L.
-
-
-
Works
Title | Sources |
---|---|
Logic for programming, artificial intelligence, and reasoning, 2013 | |
Symbolic model checking, 1993: | |
Verification, model checking, and abstract interpretation : 15th International Conference, VMCAI 2014, San Diego, CA, USA, January 19-21, 2014 : proceedings | |
VMCAI 2014 |