answersLogoWhite

0

Richard J. Boulton has written:

'A tool to support formal reasoning about computer languages' -- subject(s): Programming languages (Electronic computers), Automatic theorem proving

User Avatar

Wiki User

10y ago

What else can I help you with?