Formal Verication of Web Applications

dc.contributor.author	Ammann, Christian
dc.date.accessioned	2017-12-06T09:21:49Z
dc.date.available	2017-12-06T09:21:49Z
dc.date.issued	2012
dc.identifier.doi	10.1007/BF03323423
dc.identifier.pissn	0720-8928
dc.identifier.uri	https://dl.gi.de/handle/20.500.12116/8637
dc.language.iso	en
dc.publisher	Köllen Druck & Verlag GmbH
dc.relation.ispartof	Softwaretechnik-Trends: Vol. 32, No. 1
dc.relation.ispartofseries	Softwaretechnik-Trends
dc.subject	Model Checker
dc.subject	Server Side
dc.subject	Client Side
dc.subject	Input Language
dc.subject	Automate Transformation
dc.title	Formal Verication of Web Applications	en
dc.type	Text/Journal Article
gi.citation.endPage	11
gi.citation.startPage	10

Dateien

1 - 1 von 1