Showing items 1 - 3 of 3.

Add to Quick Collection   All 3 Results

  • First
  • Previous
  • 1
  • Next
  • Last
Sort:
 Add All Items to Quick Collection
Year: 2001
Publication Details: Acta Informatica / Vol. 37, No. 6, pp.385-448
Resource Type: Journal Article
Reviewed: Reviewed

Year: 1998
Publication Details: Programming Concepts and Methods: PROCOMET '98, IFIP TC2/WG2.2, 2.3 International Conference on Programming concepts and Methods / pp.186-204
Editor(s): Gries, David, de Roever, Willem-Paul (eds)
Resource Type: Conference Paper
Reviewed: Reviewed
Year: 1996
Publication Details: FME'96: Industrial Benefit and Advances in Formal Methods / pp.327-346
Editor(s): Gaudel, M C, Woodcock, J (eds)
Resource Type: Conference Paper
Reviewed: Reviewed

  • First
  • Previous
  • 1
  • Next
  • Last

© 2012 University of the Sunshine Coast, Queensland, Australia | ABN 28 441 859 157 | CRICOS Provider No. 01595D