Browse by all authors Browse By Author Name - Hazel,+D

Browse Results (1 results found)

Subscribe to the RSS feed for this result setSubscribe to the RSS feed for this result set

  Abstract Views File Downloads Thomson Reuters Web of Science Citation Count Scopus Citation Count Altmetric Score
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. 36   0