Similar Listings
Certified Programs and Proofs Second International Conference CPP
Certified Programs and Proofs - 9783642353079
Gonthier - Certified Programs and Proofs Third International Confere - X555z
Dybjer - Types for Proofs and Programs International Workshop TYPES - X555z
Yuan - Urban Intelligence and Applications Second International Conf - X555z
Kamel - Autonomous and Intelligent Systems Second International Conf - X555z
Kirchner - Algebraic and Logic Programming Second International Conf - X555z
Garlan - Coordination Languages and Models Second International Conf - X555z