User-Defined Data Types as an Aid to Verifying LISP Programs.

Robert Cartwright

Browse the full ICALP paper archive.