Articles by Author

Author

Bernhard Aichernig

Graz University of Technology
K., Austria

2 articles by this author

Sort by:

Test-Design ...

Research Article

Test-Design through Abstraction - A Systematic Approach Based on the Refinement Calculus

Bernhard Aichernig

10.3217/jucs-007-08-0710

28-08-2001

Unique: 548 | Total: 664

710-735

Formal ...

Editorial

Formal Aspects of Software Engineering - J.UCS Special Issue in Honor of Professor Peter Lucas

Bernhard Aichernig, Brigitte Froehlich, Andreas Kerschbaumer

10.3217/jucs-007-08

28-08-2001

Unique: 497 | Total: 602

629-630

This website uses cookies in order to improve your web experience. Read our Cookies Policy

OK

Web Analytics