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

Aichernig, B. (Redner/in)

Aktivität: Vortrag oder PräsentationVortrag bei Workshop, Seminar oder KursScience to science

Beschreibung

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