Testing Reactive Systems with Data - Enumerative Methods and Constraint Solving

J. Calamé

Research output: PhD ThesisPhD Thesis - Research external, graduation external

Original languageEnglish
QualificationPhD
Awarding Institution
  • Universiteit Twente
Supervisors/Advisors
  • 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