Selected papers from 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:
Hauptverfasser:
Alpuente, María, Escobar, Santiago, Falaschi, Moreno
Körperschaften:
International Workshop on Automated Specification and Verification of Web Systems Paphos, Cyprus, Universidad Politécnica de Valencia (sponsoring body.), ISoLA 2006
Weitere Verfasser:
Alpuente, María (HerausgeberIn), Escobar, Santiago (HerausgeberIn), Falaschi, Moreno (HerausgeberIn)
Format:
Tagungsbericht Elektronisch E-Book
Sprache:
Englisch
Veröffentlicht:
Los Alamitos, California : IEEE Computer Society, 2007.
Umfang:
1 online resource (vii, 71 pages)
Anmerkungen:
Bibliographic Level Mode of Issuance: Monograph
Anmerkungen:
English
ISBN:
1-5090-9633-7
Schlagworte:
Internet > Congresses.
World Wide Web > Congresses.
Bezugswerke:
Links: