Refine 2006 - International Refinement Workshop

Aichernig, B. (Speaker)

Activity: Talk or presentationTalk at workshop, seminar or courseScience to science

Description

Talk: Refinement and test case generation in UTP
Period31 Oct 2006
Held atRefine 2006 - International Refinement Workshop
Event typeWorkshop