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