Search

You searched for: Auteur Miculan, Marino Remove constraint Auteur: Miculan, Marino
1 entry found
Number of results to display per page

Search Results

1. Types for Proofs and Programs
thumbnail
Full text!
Author:
Miculan, Marino; Honsell, Furio; Kanade, Takeo; Scagnetto, Ivan
Publisher:
Springer Berlin Heidelberg 2008
Format:
e-book