Cartwright, Robert
Cartwright, Robert, Jr.
Cartwright, Robert, 1949-
VIAF ID: 70209212 ( Personal )
Permalink: http://viaf.org/viaf/70209212
Preferred Forms
-
- 100 1 _ ‡a Cartwright, Robert
- 100 1 _ ‡a Cartwright, Robert ‡c Jr
-
- 100 1 0 ‡a Cartwright, Robert, ‡d 1949-
-
Works
Title | Sources |
---|---|
A practical formal semantic definition and verification system for Typed LISP |