Gerald H. Hilderink. Software Specification Refinement and Verification Method with I-Mathic Studio. In Peter H. Welch, Jon M. Kerridge, Fred R. M. Barnes, editors, The 29th Communicating Process Architectures Conference, CPA 2006, organised under the auspices of WoTUG and the Napier University, Edinburgh, Scottland, UK, 17-20 September 2006. Volume 64 of Concurrent Systems Engineering Series, pages 297-310, IOS Press, 2006.
Abstract is missing.