Weakest Precondition Reasoning for Java Programs with JML Annotations
until further notice
SourceJournal of Logic and Algebraic Programming, 58, (2004), pp. 61-88
Article / Letter to editor
Display more detailsDisplay less details
Journal of Logic and Algebraic Programming
Upload full text
Use your RU credentials (u/z-number and password) tolog in with SURFconextto upload a file for processing by the repository team.