Formal Verication of Web Applications

Ammann, Christian

Author:

Citation
BibTeX

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

@article{mci/Ammann2012,
author = {Ammann, Christian},
title = {Formal Verication of Web Applications},
journal = {Softwaretechnik-Trends},
volume = {32},
number = {1},
year = {2012},
,
pages = { 10-11 } ,
doi = { 10.1007/BF03323423 }
}

	Dateien	Groesse	Format	Anzeige
	40568_2013_Article_BF03323423.pdf	73.99Kb	PDF	Login

Sollte hier kein Volltext (PDF) verlinkt sein, dann kann es sein, dass dieser aus verschiedenen Gruenden (z.B. Lizenzen oder Copyright) nur in einer anderen Digital Library verfuegbar ist. Versuchen Sie in diesem Fall einen Zugriff ueber die verlinkte DOI: 10.1007/BF03323423

Haben Sie fehlerhafte Angaben entdeckt? Sagen Sie uns Bescheid: Send Feedback