Hadez, a framework for the specification and verification of hypermedia applications
Collections
Cite this version of the work
Daniel Morales-Germán
(2000).
Hadez, a framework for the specification and verification of hypermedia applications. UWSpace.
http://hdl.handle.net/10012/601
Other formats