The enhanced HDM system for specification and verification (0)

by P M Melliar-Smith, John Rushby
Venue:In Proc. Verkshop III, volume 10 of ACM Software Engineering