Foundations of Software Science and Computational Structures: Proc./16th International Conference, FOSSACS 2013 Held as Part of the European Joint Conferences ETAPS 2013, Rome, Italy, Narch 2013

Б2.14, Б2.2, В2.11.

Foundations of Software Science and Computational Structures: Proc./16th International Conference, FOSSACS 2013 Held as Part of the European Joint Conferences ETAPS 2013, Rome, Italy, Narch 2013Ed. by Pfenning F..-Berlin.: Springer, 2013.-Vol. 7794.-451 p.-(Lecture Notes in Computer Science).