Author

Profile picture
Gerhard Schellhorn
Abt. Programmiermethodik, Universität Ulm
Ulm, Germany
1 article by this author
Sort by:
Research Article
Reasoning about Abstract State Machines: The WAM Case Study
Gerhard Schellhorn, Wolfgang Ahrendt
10.3217/jucs-003-04-0377
 28-04-1997
 Unique: 322 | Total: 407  | Access Period:
 377-413
HTML
XML
PDF

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

OK