Computer Safety, Reliability and Security: 18th International Conference, SAFECOMP’99

Aichernig, B. (Speaker)

Activity: Talk or presentationTalk at conference or symposiumScience to science

Description

Talk: Automated black-box testing with abstract VDM oracles
Period28 Sep 1999
Held atComputer Safety, Reliability and Security: 18th International Conference, SAFECOMP’99
Event typeConference