Cited in
(10)- Formal design and implementation of constraints in software components
- scientific article; zbMATH DE number 1952057 (Why is no real title available?)
- scientific article; zbMATH DE number 2088931 (Why is no real title available?)
- Contracts, Scenarios and Prototypes
- Access permission contracts for scripting languages
- How the design of JML accommodates both runtime assertion checking and formal verification
- ConSpec
- Jass
- scientific article; zbMATH DE number 2089386 (Why is no real title available?)
- Matching in security-by-contract for mobile code
This page was built for software: jContractor
