Process Refinement in B

Steve Dunne, Stacey Conroy. Process Refinement in B. In Helen Treharne, Steve King, Martin C. Henson, Steve A. Schneider, editors, ZB 2005: Formal Specification and Development in Z and B, 4th International Conference of B and Z Users, Guildford, UK, April 13-15, 2005, Proceedings. Volume 3455 of Lecture Notes in Computer Science, pages 45-64, Springer, 2005. [doi]


Abstract is missing.