QWeS2T for Type-Safe Web Programming

Thierry Sans, Iliano Cervesato. QWeS2T for Type-Safe Web Programming. In Berndt Müller, editor, 3rd International Workshop on Logics, Agents, and Mobility, LAM'10, Edinburgh, UK, July 14, 2010. Volume 7 of EPiC Series, pages 96-112, EasyChair, 2010. [doi]

Abstract

Abstract is missing.