?url_ver=Z39.88-2004&rft_val_fmt=info%3Aofi%2Ffmt%3Akev%3Amtx%3Abook&rft.aufirst=Laura&rft.aulast=Kov%C3%A1cs&rft.au=Kov%C3%A1cs%2C+Laura&rft.btitle=Proceedings+of+7th+International+Workshop+on+Automated+Specification+and+Verification+of+Web+Systems+(WWV+2011).&rft.date=2011&rft.genre=book