• 8010

    Inffeldgasse 16b Graz

    Austria

Research Output 1986 2019

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