Certifying domainspecific policies (0)

by M Lowry, T Pressburger, G Rosu
Venue:In Feather and Goedicke [5