An assertion-guided derivation of a circle drawing algorithm

dc.contributor.author	Watson, Bruce William
dc.contributor.upauthor	Kourie, Derrick G.
dc.date.accessioned	2009-03-04T10:06:03Z
dc.date.available	2009-03-04T10:06:03Z
dc.date.created	2008-06-28
dc.date.issued	2009-03-04T10:06:03Z
dc.description	The Post-Proceedings of this Festschrift will be formally published in The South African Computer Journal number 41.
dc.identifier.citation	Watson, B & Kourie, DG 2008, 'An assertion-guided derivation of a circle drawing algorithm', in Colloquium and Festschrift at the occasion of the 60th birthday of Derrick Kourie (Computer Science), Windy Brow, South Afica, 28 June 2008. [http://www.cs.up.ac.za/cs/sgruner/Festschrift/]
dc.identifier.uri	http://hdl.handle.net/2263/9122
dc.language.iso	en	en_US
dc.rights	Bruce Watson	en_US
dc.subject	Assertion-guided program development	en_US
dc.subject	Program transformation	en_US
dc.subject.lcsh	Computer science
dc.subject.lcsh	Algorithms
dc.title	An assertion-guided derivation of a circle drawing algorithm	en_US
dc.type	Article	en_US