Martin Schwenke
Bookmarks: Formal Methods
Top: Computing: Formal Methods
- WWW Virtual Library: Formal Methods
- Automated Reasoning Systems Database
- WWW Virtual Library: The B-Method
- BRICS - Basic Research in Computer Science - Centre of the Danish National Research Foundation
- ORA Canada
- RAISE - Rigorous Approach to Industrial Software Engineering
- SRI Computer Science Laboratory
- Susan Stepney: Formal methods and Z
- Theory and Formal Methods Section at Imperial College
- University of Technology, Sydney - The Algorithms and Languages Group
- Xerox PARC
- WWW Virtual Library: The Z notation
Generated by bk2site.
