FOSSACS 2001 Genoa, I., ETAPS 2001, Honsell, F., & Miculan, M. (2001). Foundations of software science and computation structures: 4th International Conference, FOSSACS 2001, held as part of the Joint European Conference on Theory and Practice of Software, ETAPS 2001, Genova, Italy, April 2-6, 2001 : proceedings. Berlin ; New York: Springer.
Styl ChicagoFOSSACS 2001 Genoa, Italy), ETAPS 2001, Furio Honsell, a Marino Miculan. Foundations of Software Science and Computation Structures: 4th International Conference, FOSSACS 2001, Held As Part of the Joint European Conference On Theory and Practice of Software, ETAPS 2001, Genova, Italy, April 2-6, 2001 : Proceedings. Berlin ; New York: Springer, 2001.
Citace podle MLAFOSSACS 2001 Genoa, Italy), ETAPS 2001, Furio Honsell, a Marino Miculan. Foundations of Software Science and Computation Structures: 4th International Conference, FOSSACS 2001, Held As Part of the Joint European Conference On Theory and Practice of Software, ETAPS 2001, Genova, Italy, April 2-6, 2001 : Proceedings. Berlin ; New York: Springer, 2001.