Author

Profile picture
Frank Rittinger
Albert-Ludwigs-University Freiburg
Freiburg, Germany
1 article by this author
Sort by:
Research Article
HOL-Z 2.0: A Proof Environment for Z-Specifications
Achim Brucker, Frank Rittinger, Burkhart Wolff
10.3217/jucs-009-02-0152
 28-02-2003
 Unique: 392 | Total: 472  | Access Period:
 152-172
HTML
XML
PDF

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

OK