author = {Temur Kutsia},
year = {2012},
conferencename = {8th International Workshop on Automated Specification and Verification of Web Systems, WWV 2012},
url = {http://users.dsic.upv.es/~jsilva/wwv2012/}