Leveraging Applications of Formal Methods, Verification and Validation. Applications and Case Studies, Part II: Proc./5th International Symposium, ISoLA 2012, Heraclion, Greese, October 2012

Б2.2, Б3.54, Б3.4, Б2.11.

Leveraging Applications of Formal Methods, Verification and Validation. Applications and Case Studies, Part II: Proc./5th International Symposium, ISoLA 2012, Heraclion, Greese, October 2012Ed. by Margaria T., Steffen B..-Berlin.: Springer, 2012.-Vol. 7610.-361 p.-(Lecture Notes in Computer Science).