Design by contract:Contracts for Data Abstractions
20 Outubro 2021, 16:30 • Antónia Lopes
Classes in Dafny
Design by contract:Contracts for Data Abstractions
- Invariants and representation invariants
- Property-based specifications
- Model-based specifications