Tool support for logics of programs (1997)

by Lawrence C Paulson
Venue:Mathematical Methods in Program Development: Summer School Marktoberdorf 1996, NATO ASI Series F