Honsell, Furio,Miculan, Mariao.Foundations of software science and computation structures : 4th international conference, FOSSACS 2001, held as part of the Joint European Conferences on Theory and Practice of Software, ETAPS 2001, Genova, Italy, April 8-12, 2001 : proceedings /.Springer,,2002..
Foundations of software science and computation structures : 4th international conference, FOSSACS 2001, held as part of the Joint European Conferences on Theory and Practice of Software, ETAPS 2001, Genova, Italy, April 8-12, 2001 : proceedings /
