An Assertions-Based Approach to Verifying the Absence Property Pattern.

Marc Frappier, Amel Mammar

Browse the full ISSRE paper archive.