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 2-6, 2001 : proceedings - FOSSACS 2001 (Janov, Itálie); Honsell, Furio; Miculan, Marino; ETAPS (konference) 2001 : Janov, Itálie) (Berlin : Springer, 2001)
Keywords: výpočetní technika; computer science; sborníky konferencí; proceedings of conferences