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 Paper Type Fully Published Paper
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 date 1998
Volume number 20
Issue number 1
ISBN 981-3083-90-5
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
Sub-type: Fully Published 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: 13 Abstract Views  -  Detailed Statistics
Created: Fri, 09 Sep 2011, 21:29:05 EST by System User