Go home now Header Background Image
Search
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
/jucs_7_8/formal_aspects_of_software
page 629 - 630
Vol.7 / Issue 8
B. K. Aichernig:
Test-Design through Abstraction - A Systematic Approach Based on the Refinement Calculus
/jucs_7_8/test_design_through_abstraction
page 710 - 735
Vol.7 / Issue 8