Gruner, Stefan; Watson, Bruce William
(2009-02-26)
Table of contents : A Burden of Wonder, by Tinus Strauss. A Computing Medley on Program Verification, by John Andre van der Poll. A Means to an End, by Gertjan Zwartjes. An Assertion-Guided Derivation, by Bruce Watson. The ...