Teaching Formal Methods: Proc./Second International Conference, TFM 2009. Eindhoven, The Netherlands, November 2009

Б2.1, Б2.23.

Teaching Formal Methods: Proc./Second International Conference, TFM 2009. Eindhoven, The Netherlands, November 2009Ed. by Gibbons J., Oliveira J. N..-Berlin, Heidelberg.: Springer, 2009.-Vol. 5846.-177 p.-(Lecture Notes in Computer Science).