Articles by Author

Author

Bernhard Aichernig

Graz University of Technology
K., Austria

2 articles by this author

Sort by:

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: 472 | Total: 557

710-735

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: 423 | Total: 503

629-630

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

OK

Web Analytics