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

Activity: Talk or presentation › Talk at conference or symposium › Science to science

Description

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