(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.).
Citace podle 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.
Citace podle 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.
Upozornění: Tyto citace jsou generovány automaticky. Nemusí být zcela správně podle citačních pravidel..