Type Specifications I

21 Outubro 2016, 16:30 • Antónia Lopes

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