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

Authors :: Leavens, Gary T.
Kiniry, Joseph R.
Poll, Erik
Leavens, Gary T.
Kiniry, Joseph R.
Poll, Erik
Source :: CAV'2007; 37; 37; 3540733671; ; 4590; CAV'2007~~37~37~~3540733671~~~~; 4590~
Publication Year :: 2007
Abstract: Item does not contain fulltext

Database :: OAIster
Journal :: CAV'2007; 37; 37; 3540733671; ; 4590; CAV'2007~~37~37~~3540733671~~~~; 4590~
Publication Type :: Electronic Resource
Accession number :: edsoai.on1377156164
Document Type :: Electronic Resource

Tools