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

Achim D. Brucker, Michael Herzberg

Browse the full TAP paper archive.