Miculan, Marino books & textbook
Types for Proofs and Programs: International Conference, TYPES 2007, Cividale del Friuli, Italy, May 2-5, 2007, Revised Selected Papers (Lecture Notes in Computer Science, 4941)
Miculan, Marino Scagnetto, Ivan Honsell, Furio
Springer /2008-05-26 Paperback / 210 Pages
isbn-10: 3540680845 / isbn-13: 9783540680840
Foundations of Software Science and Computation Structures: 4th International Conference, FOSSACS 2001 Held as Part of the Joint European Conferences ... (Lecture Notes in Computer Science, 2030)
Honsell, Furio Miculan, Marino
Springer /2001-03-21 Paperback / 432 Pages
isbn-10: 3540418644 / isbn-13: 9783540418641
