Testing Reactive Systems with Data - Enumerative Methods and Constraint Solving

J. Calamé

Research output: PhD ThesisPhD-Thesis – Research and graduation external

Original languageEnglish
Awarding Institution
  • Universiteit Twente
  • van de Pol, J.C., Supervisor, External person
  • Fokkink, Wan, Supervisor
Place of PublicationUniversiteit Twente
Publication statusPublished - 2008
Externally publishedYes

Bibliographical note

Naam instelling promotie: Universiteit Twente
Naam instelling onderzoek: Universiteit Twente

Cite this