GI LogoGI Logo
  • Login
Digital Library
    • All of DSpace

      • Communities & Collections
      • Titles
      • Authors
      • By Issue Date
      • Subjects
    • This Collection

      • Titles
      • Authors
      • By Issue Date
      • Subjects
Digital Library Gesellschaft für Informatik e.V.
GI-DL
    • English
    • Deutsch
  • English 
    • English
    • Deutsch
View Item 
  •   DSpace Home
  • Fachbereiche
  • Softwaretechnik (SWT)
  • Softwaretechnik-Trends
  • Softwaretechnik-Trends 32(1) - 2012
  • View Item
JavaScript is disabled for your browser. Some features of this site may not work without it.
  •   DSpace Home
  • Fachbereiche
  • Softwaretechnik (SWT)
  • Softwaretechnik-Trends
  • Softwaretechnik-Trends 32(1) - 2012
  • View Item

Formal Verication of Web Applications

Author:
Ammann, Christian [DBLP]
  • 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 }
}
DateienGroesseFormatAnzeige
40568_2013_Article_BF03323423.pdf73.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

More Info

DOI: 10.1007/BF03323423
ISSN: 0720-8928
xmlui.MetaDataDisplay.field.date: 2012
Language: en (en)
Content Type: Text/Journal Article

Keywords

  • Model Checker
  • Server Side
  • Client Side
  • Input Language
  • Automate Transformation
Collections
  • Softwaretechnik-Trends 32(1) - 2012 [6]

Show full item record


About uns | FAQ | Help | Imprint | Datenschutz

Gesellschaft für Informatik e.V. (GI), Kontakt: Geschäftsstelle der GI
Diese Digital Library basiert auf DSpace.

 

 


About uns | FAQ | Help | Imprint | Datenschutz

Gesellschaft für Informatik e.V. (GI), Kontakt: Geschäftsstelle der GI
Diese Digital Library basiert auf DSpace.