A coverage analysis for safety property lists (2007)

by K Claessen
Venue:In Int’l Conf. on Formal Methods in CAD