Providing user-oriented support for software development by formal methods

Cheng, A. S. K., Han, J., Welsh, J. and Wood, A. (1992) Providing user-oriented support for software development by formal methods. SVRC Technical Report 92-8, Software Verification Research Centre, Department of Computer Science, The University of Queensland.

Attached Files (Some files may be inaccessible until you login with your UQ eSpace credentials)
Name Description MIMEType Size Downloads
Author Cheng, A. S. K.
Han, J.
Welsh, J.
Wood, A.
Title Providing user-oriented support for software development by formal methods
School, Department or Centre Software Verification Research Centre, Department of Computer Science
Institution The University of Queensland
Report Number 92-8
Series SVRC Technical Report
Publication date 1992-12
Total pages 11
Publisher SVRC
Language eng
Q-Index Code AX
Q-Index Status Provisional Code
Institutional Status Unknown

Document type: Department Technical Report
Collection: School of Information Technology and Electrical Engineering Publications
 
Versions
Version Filter Type
Citation counts: Google Scholar Search Google Scholar
Created: Mon, 05 Nov 2012, 15:02:34 EST by Dr. Nisansala Yatapanage on behalf of School of Information Technol and Elec Engineering