Automated specification and verification of web systems : selected papers from the 2nd Int'l Workshop on Automated Specification and Verification of Web Systems (WWV'06) ; special track of the 2nd Biennial Int'l. Symposium on Leveraging Applications of Formal Methods, Verification, and Validation (ISoLA 2006) ; November 19, 2006, Paphos, Cyprus

Automated specification and verification of web systems selected papers from the 2nd Int'l Workshop on Automated Specification and Verification of Web Systems (WWV'06) ; special track of the 2nd Biennial Int'l. Symposium on Leveraging Applications of Formal Methods, Verification, and Validation (ISoLA 2006) ; November 19, 2006, Paphos, Cyprus

Gespeichert in:
Bibliographische Detailangaben
Körperschaften: IEEE Computer Society (BerichterstatterIn), Institute of Electrical and Electronics Engineers (BerichterstatterIn)
Weitere Verfasser: Alpuente, María (BerichterstatterIn), Escobar, Santiago (BerichterstatterIn), Falaschi, Moreno (BerichterstatterIn)
Format: UnknownFormat
Sprache:eng
Veröffentlicht: Los Alamitos, Calif. u.a. IEEE Computer Society c2007
Schlagworte:
Internet > World Wide Web > Konferenzschrift > Formale Spezifikationstechnik > Programmverifikation
Online Zugang:Inhaltsverzeichnis
Tags: Tag hinzufügen
Keine Tags, Fügen Sie den ersten Tag hinzu!
Beschreibung
Beschreibung:Includes bibliographical references and author index
Parallel als Online-Ausg. erschienen
Beschreibung:VII, 71 S.
28 cm
ISBN:0769528260
0-7695-2826-0
9780769528267
978-0-7695-2826-7