Isabel Nunes Polymorphism in Object-Oriented Contract Verification. 575-581 2003 conf/serp/2003-2 Software Engineering Research and Practice db/conf/serp/serp2003-2.html#Nunes03