A Formal Framework for Run-time Verification of Web Applications

Bok av May Haydar