Skip to content
Back
Report
Ergo user manual, Technical Report 93-19
Mark Utting
and
Keith Whitwell
Show details for 2 authors
University of Queensland, Software Verification Research Centre
1994
Permalink
Send to
Abstract
Details
Metrics
Abstract
Describes Version 4.0 of Ergo.
Details
Title
Ergo user manual, Technical Report 93-19
Authors
Mark Utting (Author) - University of Queensland
Keith 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
Show the rest
Metrics
619
Record Views
Details