Ingrid van Coppenhagen, Barry Dwolatzky. Formal Specification and Refinement for an Interactive Web Example. In José A. Moinhos Cordeiro, Vitor Pedrosa, Bruno Encarnação, Joaquim Filipe, editors, WEBIST 2006, Proceedings of the Second International Conference on Web Information Systems and Technologies: Internet Technology / Web Interface and Applications, Setúbal, Portugal, April 11-13, 2006. pages 89-96, INSTICC Press, 2006.
Abstract is missing.