Bernhard Aichernig

Ao.Univ.-Prof. Dipl.-Ing. Dr.techn.

1995 …2022

Research output per year

If you made any changes in Pure these will be visible here soon.

Activities

Filter
External examination

Tool-Supported Invariant-Based Programming

Bernhard Aichernig (Agent)
17 Aug 2010

Activity: Examination or supervisionExternal examination