Honsell, Eurio. Ed. Miculan, Marino. Ed.
Foundations of Software Science and Computation Structures : Proceedings of the 4th International Conference,FOSSACS,ETAPS, Italy,2001 - Berlin Springer 2001 - 412 - Lecture notes in computer science ; 02030 .
3540418644
Software Science
Computation Structures
681 LNCS
Foundations of Software Science and Computation Structures : Proceedings of the 4th International Conference,FOSSACS,ETAPS, Italy,2001 - Berlin Springer 2001 - 412 - Lecture notes in computer science ; 02030 .
3540418644
Software Science
Computation Structures
681 LNCS