Leveraging Applications of Formal Methods: Revised Selected Papers/1st International Symposium, ISoLA 2004. Paphos, Cyprus, October/November 2004

Б2.2, Б3.2, Б3.5.

Leveraging Applications of Formal Methods: Revised Selected Papers/1st International Symposium, ISoLA 2004. Paphos, Cyprus, October/November 2004Ed. by Margaria T., Steffen B..-Berlin, Heidelberg.: Springer, 2006.-Vol. 4313.-197 p.-(Lecture Notes in Computer Science).