OpenCert 2007, 1st International Workshop on Foundations and Techniques for Open Source Software Certification, Braga, Portugal, 31 March 2007, sattelite event of ETAPS 2007.
- Aichernig, B. (Speaker)
Activity: Talk or presentation › Talk at workshop, seminar or course › Science to science