International Conference on Quality Software

Gordon Fraser (Redner/in)

Aktivität: Vortrag oder PräsentationVortrag bei Konferenz oder FachtagungScience to science

Beschreibung

Talk: Nondeterministic Testing with Linear Model-Checker Counterexamples
Zeitraum12 Okt 2007
VeranstaltungstypKonferenz
OrtPortland, USA / Vereinigte Staaten