Foundations of Software Science and Computational Structures: Proc./15th International Conference, FOSSACS 2012 Held as Part of the European Joint Conferences, ETAPS 2012, Tallinn, Estonia, March 2012

Б2.1, Б2.2.

Foundations of Software Science and Computational Structures: Proc./15th International Conference, FOSSACS 2012 Held as Part of the European Joint Conferences, ETAPS 2012, Tallinn, Estonia, March 2012Ed. by Birkedal L..-Berlin.: Springer, 2012.-Vol. 7213.-484 p.-(Lecture Notes in Computer Science).