Foundations of software science and computation structures : 17th international conference, FOSSACS 2014, held as part of the European joint conferences on theory and practice of software, ETAPS 2014, Grenoble, France, April 5-13, 2014 : proceedings
Anca Muscholl