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

Aktivität: Vortrag oder Präsentation › Vortrag bei Workshop, Seminar oder Kurs › Science to science

Beschreibung

Talk: Automated Black-box testing with Abstract VDM Oracles
Zeitraum20 Sept. 1999
EreignistitelWorkshop VDM in Practice! of FM’99, World Congress on Formal Methods
VeranstaltungstypWorkshop