Foundations of software science and computation structures : 9th International Conference, FOSSACS 2006, held as part of the Joint European Conferences on Theory and Practice of Software, ETAPS 2006, Vienna, Austria, March 25-31, 2006 : proceedings
Luca Aceto, Anna Ingólfsdóttir (eds.)
(Lecture notes in computer science, 3921)
Springer, c2006