Automated Software Testing with Model Checkers

Gordon Fraser

Publikation: StudienabschlussarbeitDissertationForschung

Originalspracheenglisch
PublikationsstatusVeröffentlicht - 2007

Treatment code (Nähere Zuordnung)

  • Theoretical
  • Experimental

Dieses zitieren