JML’s Rich, Inherited Specifications for Behavioral Subtypes

Formal Methods and Software Engineering - Lecture Notes in Computer Science ◽

10.1007/11901433_2 ◽

2006 ◽

pp. 2-34 ◽

Cited By ~ 25

Author(s):

Gary T. Leavens

Download Full-text