International Conference on Quality Software

Gordon Fraser (Speaker)

Activity: Talk or presentationTalk at conference or symposiumScience to science

Description

Talk: Nondeterministic Testing with Linear Model-Checker Counterexamples
Period12 Oct 2007
Event titleInternational Conference on Quality Software
Event typeConference
LocationPortland, United States