Type Specifications II

24 Outubro 2017, 18:30 • Vasco Manuel Thudichum de Serpa Vasconcelos

• Behavioural subtyping
• Model-based Specifications in JML