Automated Software Testing with Model Checkers

Gordon Fraser

Research output: ThesisDoctoral ThesisResearch

Original languageEnglish
Publication statusPublished - 2007

Treatment code (Nähere Zuordnung)

  • Theoretical
  • Experimental

Cite this