Lecture notes in computer science / ed. G. Goos [et al.]. 7213 : Foundations of software science and computational structures : 15th intern. conf., FOSSACS 2012, held as pt. of the Europ. joint conf. on theory and practice of software, ETAPS 2012, Tallinn, Estonia, Mar. 24-Apr. 1, 2012: proc. / European joint conferences on theory and practice of software (15; 2012; Tallinn), 2012. - XVII, 484 p. - Текст : непосредственный.