Library Catalogue Plus

APA (7th ed.) Citation

ISoLA 2006 Paphos, Cyprus, & European Association of Software Science and Technology. (2007). Proceedings, ISoLA 2006 Second International Symposium on Leveraging Applications of Formal Methods, Verification and Validation : proceedings : 15-19 November 2006, Paphos, Cyprus / sponsored by EASST (European Association of Software Science and Technology) ... [et al.]: Second International Symposium on Leveraging Applications of Formal Methods, Verification and Validation : proceedings : 15-19 November 2006, Paphos, Cyprus. IEEE.

Chicago Style (17th ed.) Citation

ISoLA 2006 Paphos, Cyprus, and European Association of Software Science and Technology. Proceedings, ISoLA 2006 Second International Symposium on Leveraging Applications of Formal Methods, Verification and Validation : Proceedings : 15-19 November 2006, Paphos, Cyprus / Sponsored by EASST (European Association of Software Science and Technology) ... [et Al.]: Second International Symposium on Leveraging Applications of Formal Methods, Verification and Validation : Proceedings : 15-19 November 2006, Paphos, Cyprus. [Piscataway, N.J.]: IEEE, 2007.

MLA (9th ed.) Citation

ISoLA 2006 Paphos, Cyprus, and European Association of Software Science and Technology. Proceedings, ISoLA 2006 Second International Symposium on Leveraging Applications of Formal Methods, Verification and Validation : Proceedings : 15-19 November 2006, Paphos, Cyprus / Sponsored by EASST (European Association of Software Science and Technology) ... [et Al.]: Second International Symposium on Leveraging Applications of Formal Methods, Verification and Validation : Proceedings : 15-19 November 2006, Paphos, Cyprus. IEEE, 2007.