Tool Support for Logics of Programs (1996)

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