Logo des Repositoriums
 
Zeitschriftenartikel

Formal Verication of Web Applications

Vorschaubild

Volltext URI

Dokumententyp

Text/Journal Article

Dateien

40568_2013_Article_BF03323423.pdf (74 KB)

Zusatzinformation

Datum

2012

Autor:innen

Zeitschriftentitel

ISSN der Zeitschrift

Bandtitel

Quelle

Softwaretechnik-Trends: Vol. 32, No. 1

Verlag

Köllen Druck & Verlag GmbH

Zusammenfassung

Beschreibung

Ammann, Christian (2012): Formal Verication of Web Applications. Softwaretechnik-Trends: Vol. 32, No. 1. DOI: 10.1007/BF03323423. Köllen Druck & Verlag GmbH. PISSN: 0720-8928. pp. 10-11

Schlagwörter

Model Checker , Server Side , Client Side , Input Language , Automate Transformation

Zitierform

DOI

10.1007/BF03323423

Tags

Sammlungen

Softwaretechnik-Trends 32(1) - 2012