Type Specifications II

4 Novembro 2016, 16:30 • Antónia Lopes

  • Behavioural subtyping
  • Model-based Specifications in JML
  • Property-based, algebraic specifications