Activities per year
Activities
Tool-Supported Invariant-Based Programming
Bernhard Aichernig (Agent)17 Aug 2010
Activity: Examination or supervision › External examination
Bernhard Aichernig
Ao.Univ.-Prof. Dipl.-Ing. Dr.techn.
- Graz University of Technology, Institute of Software Technology (7160)
- Graz University of Technology, Faculty of Computer Science and Biomedical Engineering (7000)
Research output per year