1 option
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 / María Alpuente, Santiago Escobar, Moreno Falaschi (editor) ; sponsored by Universidad Politécnica de Valencia [and three others].
- Format:
- Book
- Conference/Event
- Conference Name:
- International Workshop on Automated Specification and Verification of Web Systems (2nd : 2006 : Paphos, Cyprus)
- ISoLA 2006 (2nd : 2006 : Paphos, Cyprus), issuing body.
- Language:
- English
- Subjects (All):
- Internet--Congresses.
- Internet.
- World Wide Web--Congresses.
- World Wide Web.
- Physical Description:
- 1 online resource (vii, 71 pages)
- Place of Publication:
- Los Alamitos, California : IEEE Computer Society, 2007.
- Language Note:
- English
- Notes:
- Bibliographic Level Mode of Issuance: Monograph
- Description based on: online resource; title from pdf title page (IEEE Xplore, viewed May 20, 2020).
- ISBN:
- 1-5090-9633-7
The Penn Libraries is committed to describing library materials using current, accurate, and responsible language. If you discover outdated or inaccurate language, please fill out this feedback form to report it and suggest alternative language.