Go home now Header Background Image
Submission Procedure
share: |
Follow us

Bernhard K. Aichernig
Graz University of Technology, Austria

B. K. Aichernig, B. Froehlich, A. Kerschbaumer:
Formal Aspects of Software Engineering - J.UCS Special Issue in Honor of Professor Peter Lucas
page 629 - 630
Vol.7 / Issue 8
B. K. Aichernig:
Test-Design through Abstraction - A Systematic Approach Based on the Refinement Calculus
page 710 - 735
Vol.7 / Issue 8