Formal Verication of Web Applications
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 }
}
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 | 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
More Info
DOI: 10.1007/BF03323423
ISSN: 0720-8928
xmlui.MetaDataDisplay.field.date: 2012
Language:
(en)

Content Type: Text/Journal Article