Foundations of Software Science and Computational Structures: Proc./14th International Conference, FOSSACS 2011 Held as a Part of the Joint European Conferences ETAPS 2011, Saarbrucken, Germany, March 2011

Б2.1, Б2.2.

Foundations of Software Science and Computational Structures: Proc./14th International Conference, FOSSACS 2011 Held as a Part of the Joint European Conferences ETAPS 2011, Saarbrucken, Germany, March 2011Ed. by Hafmann M..-Berlin.: Springer, 2011.-Vol. 6604.-472 p.-(Lecture Notes in Computer Science).