Verifying the uniform candy distribution puzzle with CSP Prover
Loading...
Authors
Isobe, Yoshinao
Roggenbach, Markus
Journal Title
Journal ISSN
Volume Title
Publisher
Abstract
Description
The Post-Proceedings of this Festschrift will be formally published in The South African Computer Journal number 41.
Keywords
CSP, Automated proofs, Correctness
Sustainable Development Goals
Citation
Isobe, Y & Roggenbach, M 2008, 'Verifying the uniform candy distribution puzzle with CSP Prover', 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/]