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.
No references recorded for this publication.
No citations of this publication recorded.