15th International Conference, FASE 2012, held as part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2012, Tallinn, Estonia, March 24-April 1, 2012 : proceedings /
Juan de Lara, Andrea Zisman (eds.)
New York :
Springer,
c2012
1 online resource (xvi, 518 p.) :
ill. (some col.)
Advanced research in computing and software science
Lecture notes in computer science,
LNCS sublibrary. SL 1, Theoretical computer science and general issues