Citazione Stile APA (7a Edizione)

(2008). Leveraging applications of formal methods, verification and validation. Tiziana Margaria, Bernhard Steffen (Eds.). Third International Symposium, ISoLA 2008, Porto Sani, Greece, October 13-15, 2008. Proceedings.

Citazione stile Chigago Style (17a edizione)

Leveraging Applications of Formal Methods, Verification and Validation. Tiziana Margaria, Bernhard Steffen (Eds.). Third International Symposium, ISoLA 2008, Porto Sani, Greece, October 13-15, 2008. Proceedings. 2008.

Citatione MLA (9a ed.)

Leveraging Applications of Formal Methods, Verification and Validation. Tiziana Margaria, Bernhard Steffen (Eds.). Third International Symposium, ISoLA 2008, Porto Sani, Greece, October 13-15, 2008. Proceedings. 2008.