A tool to support formal reasoning about computer languages
By: by Richard J. Boulton.
Contributors: University of Cambridge. Computer Laboratory.
Series: Technical report - University of Cambridge Computer Laboratory -- no.405
Publisher: University of Cambridge, Computer Laboratory
Published: 1996
Language: eng
Number of pages: 21
Subjects: Programming languages (Electronic computers); Automatic theorem proving.