Leveraging Applications of Formal Mathods, Verification and Validation. Technologies for Mastering Change, Part I: Proc./5th International Symposium, ISoLA 2012, Heraclion, Greece, October 2012

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

Leveraging Applications of Formal Mathods, Verification and Validation. Technologies for Mastering Change, Part I: Proc./5th International Symposium, ISoLA 2012, Heraclion, Greece, October 2012Ed. by Margaria T., Steffen B..-Berlin.: Springer, 2012.-Vol. 7609.-617 p.-(Lecture Notes in Computer Science).