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:7 - 7 self