Using Nuprl for the verification and synthesis of hardware', in Mechanized Reasoning and Hardware Design: a Discussion Meeting held at the Royal Society (1991)

by M Leeser
Venue:International Series in Computer Science