Formalizing (Web) Standards - An Application of Test and Proof.

Achim D. Brucker Michael Herzberg

Published in: TAP@STAF (2018)

Keyphrases

web applications
website
web documents
web pages
web resources
databases
web content
semantic web
web scale
web mining
web data
topic maps
end users
web services
information sources
linked data
link analysis