Luigi Liquori, Furio Honsell, Rekha Redamalla. A Language for Verification and Manipulation of Web Documents: (Extended Abstract). Electronic Notes in Theoretical Computer Science, 157(2):67-78, 2006. [doi]
No references recorded for this publication.
No citations of this publication recorded.