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 / Maria Alpuente, Santiago Escobar, Moreno Falaschi (eds.).
Saved in:
| Corporate Authors: | , , |
|---|---|
| Other Authors: | , , |
| Format: | eBook |
| Language: | English |
| Published: |
Los Alamitos, Calif. :
IEEE Computer Society,
c2007.
|
| Subjects: | |
| Online Access: | http://ieeexplore.ieee.org/servlet/opac?punumber=4155975 |
| Tags: |
Add Tag
No Tags, Be the first to tag this record!
|