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