Activities per year
Activities
- 2 results
Search results
-
OpenCert 2007, 1st International Workshop on Foundations and Techniques for Open Source Software Certification, Braga, Portugal, 31 March 2007, sattelite event of ETAPS 2007. (Event)
Bernhard Aichernig (Member)
1 Nov 2006 → 1 Nov 2007Activity: Membership › Membership of research network or expert group
-
Formal Methods Europe (External organisation)
Bernhard Aichernig (Chair)
4 Apr 2004Activity: Membership › Membership of research network or expert group