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.

Research Output

Filter
Editorial
2018

Special section of Tests and Proofs 2016

Aichernig, B. K., Furia, C. A., Gaudel, M. C. & Hierons, R., 1 Nov 2018, In : Formal aspects of computing. 30, 6, p. 627-628 2 p.

Research output: Contribution to journalEditorialResearchpeer-review