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