Workshop VDM in Practice! of FM’99, World Congress on Formal Methods

Aichernig, B. (Speaker)

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

Description

Talk: Automated Black-box testing with Abstract VDM Oracles
Period20 Sep 1999
Held atWorkshop VDM in Practice! of FM’99, World Congress on Formal Methods
Event typeWorkshop