(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.).
Chicago Style (17th ed.) CitationLeveraging 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.
MLA (9th ed.) CitationLeveraging 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.
Warning: These citations may not always be 100% accurate.