Corresponding author: Rudolf Berghammer ( rub@informatik.uni-kiel.de ) © Rudolf Berghammer, Dominik Haneberg, Wolfgang Reif, Gerhard Schellhorn. This article is freely available under the J.UCS Open Content License. Citation:
Berghammer R, Haneberg D, Reif W, Schellhorn G (2003) J.UCS Special Issue on Tools for System Design and Verification. JUCS - Journal of Universal Computer Science 9(2): 86-87. https://doi.org/10.3217/jucs-009-02 |