Environment description language for UQ*

Toleman, Mark, Carrington, David, Cook, Phil, MacDonald, Anthony and Welsh, Jim (1999) Environment description language for UQ*. SVRC Technical Report 99-45, Software Verification Research Centre, School of Information Technology and Electrical Engineering, The University of Queensland.

Attached Files (Some files may be inaccessible until you login with your UQ eSpace credentials)
Name Description MIMEType Size Downloads
tr99-45.pdf tr99-45.pdf application/pdf 326.31KB 23
Author Toleman, Mark
Carrington, David
Cook, Phil
MacDonald, Anthony
Welsh, Jim
Title Environment description language for UQ*
School, Department or Centre Software Verification Research Centre, School of Information Technology and Electrical Engineering
Institution The University of Queensland
Open Access Status Other
Report Number 99-45
Series SVRC Technical Report
Publication date 1999-12
Total pages 46
Publisher The University of Queensland
Language eng
Subject 280000 Information, Computing and Communication Sciences

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:30:18 EST by Dr. Nisansala Yatapanage on behalf of School of Information Technol and Elec Engineering