How the design of JML accommodates both runtime assertion checking and formal verification (2003)

Cached

Download Links

by Gary T. Leavens , Yoonsik Cheon , Curtis Clifton , Clyde Ruby , David R. Cok
Venue:SCIENCE OF COMPUTER PROGRAMMING
Citations:72 - 19 self