Introduction

Topics:

  • specifications
  • abstraction by specification
  • specification of functions
  • comments
  • module specifications
  • abstraction functions
  • representation invariants

results matching ""

    No results matching ""