Library Catalogue Plus

APA (7th ed.) Citation

IEEE Computer Society, International Workshop on Automated Specification and Verification of Web Systems, ISoLA 2006, Alpuente, M., Escobar, S., & Falaschi, M. (2007). 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.): 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. IEEE Computer Society.

Chicago Style (17th ed.) Citation

IEEE Computer Society, International Workshop on Automated Specification and Verification of Web Systems, ISoLA 2006, Maria Alpuente, Santiago Escobar, and Moreno Falaschi. 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.): 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. Los Alamitos, Calif.: IEEE Computer Society, 2007.

MLA (9th ed.) Citation

IEEE Computer Society, et al. 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.): 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. IEEE Computer Society, 2007.