JML’s rich, inherited specifications for behavioral subtypes (2006)

by G T Leavens
Venue:Formal Methods and Software Engineering: 8th International Conference on Formal Engineering Methods (ICFEM), volume 4260 of Lecture Notes in Computer Science