Ammann, Christian2017-12-062017-12-062012https://dl.gi.de/handle/20.500.12116/8637enModel CheckerServer SideClient SideInput LanguageAutomate TransformationFormal Verication of Web ApplicationsText/Journal Article10.1007/BF033234230720-8928