Workshop: formalisms at the interface with machines, languages and systems
PROGRAMme workshop, October 16-17 2018, Bertinoro University center in Bertinoro, Italy.
Giuseppe Primiero, From Formal Correctness to Engineering Validity
Associate Professor of Logic, Department of Philosophy, University of Milan, Italy
Workshop: formalisms at the interface with machines, languages and systems
PROGRAMme workshop, October 16-17 2018, Bertinoro University center in Bertinoro, Italy.
Giuseppe Primiero, From Formal Correctness to Engineering Validity