Automated specification and verification of web systems
Subtitle: 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
By: María Alpuente, Santiago Escobar, Moreno Falaschi (eds.)
Contributors: Alpuente, María.; Escobar, Santiago.; Falaschi, Moreno.; IEEE Computer Society.; International Workshop on Automated Specification and Verification of Web Systems (2nd : 2007 : Paphos, Cyprus); International Symposium on Leveraging Applications of Formal Methods, Verification, and Validation (2nd : 2006 : Paphos, Cyprus)
Publisher: IEEE Computer Society
Published: 2007
Place of publication: Los Alamitos, Calif
Language: eng
Number of pages: 71
ISBN-13: 9780769528267
Subjects: Internet -- Congresses; World Wide Web -- Congresses
Genres: Congresses.
Other titles: Leveraging applications of formal methods, verification, and validation; WWV'06; ISoLA 2006
Notes: "IEEE Computer Society Order Number P2826"--back cover.

Includes bibliographical references and author index.