Verified Software: Theories, Tools, Experiments: Revised Selected Papers and Discussions/1st IFIP TC 2/WG 2.3 Conference, VSTTE 2005. Zurich, Switzerland, October 2005

Б2.2, Б3.5.

Verified Software: Theories, Tools, Experiments: Revised Selected Papers and Discussions/1st IFIP TC 2/WG 2.3 Conference, VSTTE 2005. Zurich, Switzerland, October 2005Ed. by Meyer B., Woodcock J..-Berlin, Heidelberg.: Springer, 2008.-Vol. 4171.-546 p.-(Lecture Notes in Computer Science).