A Methodology for Invariants, Framing, and Subtyping in JML

2018 ◽  
pp. 19-39
Author(s):  
Yuyan Bao ◽  
Gary T. Leavens
Sign in / Sign up

Export Citation Format

Share Document