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 - Part 2. JUCS - Journal of Universal Computer Science 7(2): 105-106. https://doi.org/10.3217/jucs-007-02 |