Cita APA (7th ed.)

(2006). Leveraging applications of formal methods: First international symposium, ISoLA 2004, Paphos, Cyprus, October 30-November 2, 2004 : revised selected papers / Tiziana Margaria, Bernhard Steffen (eds.).

Cita Chicago (17th ed.)

Leveraging Applications of Formal Methods: First International Symposium, ISoLA 2004, Paphos, Cyprus, October 30-November 2, 2004 : Revised Selected Papers / Tiziana Margaria, Bernhard Steffen (eds.). 2006.

Cita MLA (9th ed.)

Leveraging Applications of Formal Methods: First International Symposium, ISoLA 2004, Paphos, Cyprus, October 30-November 2, 2004 : Revised Selected Papers / Tiziana Margaria, Bernhard Steffen (eds.). 2006.