Vladimir Estivill-Castro: Computer Science 2004, Twenty-Seveth Australasian Computer Science Conference (ACSC2004), Dunedin, New Zealand, January 2004.

It will be hosted by the University of Otago and its Department of Computer Science as part of the Australasian Computer Science Week, which includes: 27th ...

This paper introduces a repeatable and constructive approach to the analysis of loop progress and termination conditions in imperative programs.

27th ACSC 2004: Dunedin, New Zealand. view. table of contents in dblp; no ... (ACSC2004), Dunedin, New Zealand, January 2004. CRPIT 26, Australian Computer ...

P.O. Box 319 Darlinghurst, NSW 2010; Australia. Conference: ACSC '04: Computer science Dunedin New Zealand 1 January 2004.

Estivia-Castro (Ed.), Proceedings of the 27th Australasian Computer Science Conference (ACSC' 04) (Dunedin, New Zealand ed., Vol. 26(1), pp. 47-54). ACS ...

Australasian Computer Science Conference 2004 - The University of Otago, Dunedin, New Zealand Duration: 18 Jan 2004 → 22 Jan 2004. Conference number: 27th ...

Estivia-Castro (Ed.), Proceedings of the 27th Australasian Computer Science Conference (ACSC' 04) (Dunedin, New Zealand ed., Vol. 26(1), pp. 41-46). ACS ...

... New York City, USA. First Asia-Pacific Conference on Conceptual Modelling (APCCM 2004), Dunedin, NZ, January 2004; The 9th International Conference on ...

... (ACSC 2004), Dunedin, New Zealand, pp. 159–166 (2004); Golle, P.: Revisiting the Uniqueness of Simple Demographics in the US Population. In: Workshop on ...