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 / María Alpuente, Santiago Escobar, Moreno Falaschi (eds.).

Format Electronic
Publication InfoLos Alamitos, Calif. : IEEE Computer Society,
Descriptionvii, 71 p. : ill. ; 28 cm.
Supplemental ContentFull text available from IEEE Conference Proceedings Archive 2005-2009
Supplemental ContentFull text available from IEEE Electronic Library (IEL)
Supplemental ContentFull text available from IEEE Electronic Library (IEL) Conference Proceedings
Subjects
Internet--Congresses.
World Wide Web--Congresses.

Other author/creatorAlpuente, María.
Other author/creatorEscobar, Santiago (Computer scientist)
Other author/creatorFalaschi, Moreno.
Other author/creatorIEEE Computer Society.
Other author/creatorIEEE Xplore (Online service)
Other author/creatorInternational Workshop on Automated Specification and Verification of Web Systems 2007 : Paphos, Cyprus) (2nd :
Other author/creatorInternational Symposium on Leveraging Applications of Formal Methods, Verification, and Validation 2006 : Paphos, Cyprus) (2nd :
Portion of title Leveraging applications of formal methods, verification, and validation
Portion of title WWV'06
Portion of title ISoLA 2006
General note"IEEE Computer Society Order Number P2826"--back cover.
Bibliography noteIncludes bibliographical references and author index.
Access restrictionAvailable only to authorized users.
Technical detailsMode of access: World Wide Web
Genre/formElectronic books.
LCCN 2007921743
ISBN0769528260
ISBN9780769528267

Availability

Library Location Call Number Status Item Actions
Electronic Resources ✔ Available