A complete formal development using Cogito

Hamilton, N, Hazel, D, Kearney, P, Traynor, O and Wildman, L (1998). A complete formal development using Cogito. In: Proceedings of the 21st Australasian Computer Science Conference, Acsc'98. 21st Australasian Computer Science Conference (ACSC 98), Perth Australia, (319-330). Feb 04-06, 1998.

Author Hamilton, N
Hazel, D
Kearney, P
Traynor, O
Wildman, L
Title of paper A complete formal development using Cogito
Conference name 21st Australasian Computer Science Conference (ACSC 98)
Conference location Perth Australia
Conference dates Feb 04-06, 1998
Proceedings title Proceedings of the 21st Australasian Computer Science Conference, Acsc'98
Journal name Proceedings of the 21st Australasian Computer Science Conference, Acsc'98
Publication Year 1998
Sub-type Fully published paper
ISBN 981-3083-90-5
Volume 20
Issue 1
Start page 319
End page 330
Total pages 12
Language eng
Keyword formal methods
formal specification
algorithm refinement
data refinement
Q-Index Code E1
Q-Index Status Provisional Code
Institutional Status Unknown

Document type: Conference Paper
Collection: ResearcherID Downloads
 
Versions
Version Filter Type
Citation counts: TR Web of Science Citation Count  Cited 0 times in Thomson Reuters Web of Science Article
Google Scholar Search Google Scholar
Access Statistics: 27 Abstract Views  -  Detailed Statistics
Created: Fri, 09 Sep 2011, 21:29:05 EST by System User