Linking higher order logic to binary decision diagrams (0)

by M J C Gordon
Venue:Proceedings of the Symposium in Celebration of the work of C. A. R. Hoare, Cornerstones in Computing