Lubos Mikusiak, Miroslav Adámy. Viewing Formal Specifications in Z on World Wide Web. In Alexander Verbraeck, editor, EUROMEDIA 1996 featuring WEBTEC-MEDIATEC-COMTEC-APTEC, Holiday Inn Nelson Dock, London, UK, December 19-21, 1996. pages 29-33, SCS, The Society for Computer Simulation International, 1996.
Abstract is missing.