Goal Decomposition Trees

  1. Introduction
  2. Publications
  3. Behaviour model
  4. Formal Semantics
  5. Proof system
  6. Automata Patterns
  7. Tools
  8. Case studies
  9. Team
Contact: Bruno Mermet (Bruno<DOT>Mermet<AT>univ-lehavre<DOT>fr)