Specifying the UQ* editor user-interface with Object-Z

Hussey Andrew and Carrington David (1997). Specifying the UQ* editor user-interface with Object-Z. In: Proceedings of the 1997 Asia-Pacific Software Engineering Conference and International Computer Science Conference, APSEC'97 and ICSC'97, Hong Kong, Hong Kong, (374-383). December 2, 1997-December 5, 1997.

Author Hussey Andrew
Carrington David
Title of paper Specifying the UQ* editor user-interface with Object-Z
Conference name Proceedings of the 1997 Asia-Pacific Software Engineering Conference and International Computer Science Conference, APSEC'97 and ICSC'97
Conference location Hong Kong, Hong Kong
Conference dates December 2, 1997-December 5, 1997
Journal name Proceedings of the Asia-Pacific Software Engineering Conference and International Computer Science Conference, APSEC and ICSC
Series Proceedings of the Asia-Pacific Software Engineering Conference and International Computer Science Conference, APSEC and ICSC
Publisher IEEE Comp Soc
Publication Year 1997
Sub-type Fully published paper
Start page 374
End page 383
Total pages 10
Subjects 1700 Computer Science
2200 Engineering
Q-Index Code E1
Q-Index Status Provisional Code
Institutional Status Unknown

Document type: Conference Paper
Collection: Scopus Import
 
Versions
Version Filter Type
Citation counts: Scopus Citation Count Cited 0 times in Scopus Article
Google Scholar Search Google Scholar
Created: Tue, 14 Jun 2016, 06:13:36 EST by System User