Type Specifications I

17 Outubro 2017, 16:30 • Vasco Manuel Thudichum de Serpa Vasconcelos

• Propery-based specifications in JML
• Representation-exposing specifications in JML