ISBN 9783540680840 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
