Weakest Precondition Reasoning for Java Programs with JML Annotations (2002)

Cached

Download Links

by Bart Jacobs
Venue:Journal of Logic and Algebraic Programming
Citations:17 - 2 self