Verification of Starlog Programs John Cleary and Mark Utting Department of Computer Science The University of Waikato Private Bag 3105, Hamilton, New Zealand Email: fjcleary,

First Page		Document Content
Date: 2010-06-15 06:33:59		Verification of Starlog Programs John Cleary and Mark Utting Department of Computer Science The University of Waikato Private Bag 3105, Hamilton, New Zealand Email: fjcleary, Add to Reading List Source URL: www.cs.waikato.ac.nz Download Document from Source Website File Size: 107,17 KB Share Document on Facebook