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