A JML Tutorial: Modular Specification and Verification of Functional Behavior for Java

Thumbnail Image

Date

2007

Authors

Leavens, Gary T.
Kiniry, Joseph R.
Poll, E. Erik

Journal Title

Journal ISSN

Volume Title

Publisher

Berlin ; New York : Springer

Research Projects

Organizational Units

Journal Issue

Abstract

Description

Keywords

Citation

URI

https://hdl.handle.net/2066/34616

Collections

Academic research output

Endorsement

Review

Supplemented By

Referenced By