Logo des Repositoriums
 

Formal Verication of Web Applications

dc.contributor.authorAmmann, Christian
dc.date.accessioned2017-12-06T09:21:49Z
dc.date.available2017-12-06T09:21:49Z
dc.date.issued2012
dc.identifier.doi10.1007/BF03323423
dc.identifier.pissn0720-8928
dc.identifier.urihttps://dl.gi.de/handle/20.500.12116/8637
dc.language.isoen
dc.publisherKöllen Druck & Verlag GmbH
dc.relation.ispartofSoftwaretechnik-Trends: Vol. 32, No. 1
dc.relation.ispartofseriesSoftwaretechnik-Trends
dc.subjectModel Checker
dc.subjectServer Side
dc.subjectClient Side
dc.subjectInput Language
dc.subjectAutomate Transformation
dc.titleFormal Verication of Web Applicationsen
dc.typeText/Journal Article
gi.citation.endPage11
gi.citation.startPage10

Dateien

Originalbündel
1 - 1 von 1
Lade...
Vorschaubild
Name:
40568_2013_Article_BF03323423.pdf
Größe:
74 KB
Format:
Adobe Portable Document Format