DMCA

2006): JML’s Rich, Inherited Specifications for Behavioral Subtypes

Cached

Download Links

by Gary T. Leavens , Gary T. Leavens
Venue:ICFEM, Lecture Notes in Computer Science 4260
Citations:35 - 17 self