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

Activity: Talk or presentation › Talk at workshop, seminar or course › Science to science

Description

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