author = {Temur Kutsia},
year = {2013},
conferencename = { Workshop on Automated Specification and Verification of Web Systems, WWV},
activity = {Steering committee member}