Abstract
Describes Version 4.0 of Ergo.
- Title
- Ergo user manual, Technical Report 93-19
- Authors
- Mark Utting (Author) - University of QueenslandKeith Whitwell (Author) - University of Queensland
- Publisher
- University of Queensland, Software Verification Research Centre
- Date published
- 1994
- Organisation Unit
- School of Science and Engineering - Legacy; University of the Sunshine Coast, Queensland
- Language
- English
- Record Identifier
- 99449280302621
- Output Type
- Report