Your search returned 3 results. Subscribe to this search

|
1. Thèses Formal certification of game-based cryptographic proofs [Ressource électronique] / par Santiago José Zanella Béguelin ; sous la direction de Gilles BarthePublication : Paris : MINES ParisTech, 2011Availability: Click here to access online Copies available for reference: En ligne[http://pastel.archives-ouvertes.fr/pastel-00584350] (1).
2. Thèses On type-based termination and dependent pattern matching in the calculus of inductive constructions [Ressource électronique] / par Jorge Luis Sacchini ; sous la direction de Gilles BarthePublication : Paris : MINES ParisTech, 2011Availability: Click here to access online Copies available for reference: En ligne[http://pastel.archives-ouvertes.fr/pastel-00622429] (1).
3. Thèses Préservation des preuves et transformation de programmes [Ressource électronique] / par César Kunz ; sous la direction de Gilles BarthePublication : Paris : MINES ParisTech, 2009Availability: Click here to access online Copies available for reference: En ligne[http://pastel.archives-ouvertes.fr/pastel-00004940] (1).

Powered by Koha