Giuseppe Longo. Computer modelling and natural phenomena. In Proceedings of the 11th ACM SIGSOFT Symposium on Foundations of Software Engineering 2003 held jointly with 9th European Software Engineering Conference, ESEC/FSE 2003, Helsinki, Finland, September 1-5, 2003. pages 1-5, ACM, 2003. [doi]
Abstract is missing.