JUCS - Journal of Universal Computer Science 7(1): 1-2, doi: 10.3217/jucs-007-01
J.UCS Special Issue on Tools for System Design and Verification
expand article infoWolfgang Reif‡, Gerhard Schellhorn§
‡ University of Augsburg, Augsburg, Germany§ University of Augsburg, Germany

Corresponding author: Wolfgang Reif ( reif@informatik.uni-augsburg.de )

© Wolfgang Reif, Gerhard Schellhorn.
This article is freely available under the J.UCS Open Content License.
Citation: Reif W, Schellhorn G (2001) J.UCS Special Issue on Tools for System Design and Verification. JUCS - Journal of Universal Computer Science 7(1): 1-2. https://doi.org/10.3217/jucs-007-01
Open Access