Conf.Foundations of Software Science & Computation Struct. , 2004
7th international conference, FOSSACS 2004, held as part of the joint European Conferences on Thzory and Practice of Software, ETAPS 2004, in Barcelona, Spain, on March 29 - April 2, 2004. proceedings. - Springer Verlag, 2004. - (Lecture Notes in Computer Science; 2987).
Conf.Foundations of Software Science & Computation Struct. , 2003
Foundations of software science and computation structures. 6th international conference, FOSSACS 2003, held as part of the joint european conferences on theory and practice of software, ETAPS 2003, Warsaw, Poland, April 7-11. Proceedings. - Springer Verlag, 2003. - (Lecture Notes in Computer Science; 2620).
Conf.Foundations of Software Science & Computation Struct. , 2002
Foundations of software science and computation structures. Proceedings 5th int. conference, FOSSACS 2002, held as part of the joint european conference on theory and practice of software, ETAPS 2002, Grenoble, France, April 8-12, 2002. - Springer Verlag, 2002. - (Lecture Notes in Computer Science; 2303).
Conf.Foundations of Software Science & Computation Struct. , 2002
Foundations of software science and computation structures. 5th international conference, FOSSACS 2002, held as part of the joint european conferences on theory and practice of software, ETAPS 2002, Grenoble, France, April 8-12. Proceedings. - Springer Verlag, 2002. - (Lecture Notes in Computer Science; 2303).