Skip to Main content Skip to Navigation
New interface


...
tel-00424979v1  Theses
Clément Hurlin. Specification and Verification of Multithreaded Object-Oriented Programs with Separation Logic
Software Engineering [cs.SE]. Université Nice Sophia Antipolis, 2009. English
...
tel-01089643v1  Habilitation à diriger des recherches
Sylvie Boldo. Deductive Formal Verification: How To Make Your Floating-Point Programs Behave
Computer Arithmetic. Université Paris-Sud, 2014
...
tel-00319044v1  Theses
Saddek Bensalem. Algèbre de programmes dans un univers type
Modélisation et simulation. Institut National Polytechnique de Grenoble - INPG, 1985. Français
...
tel-00659990v2  Habilitation à diriger des recherches
David Janin. A contribution to formal methods : games, logic and automata
Computer Science [cs]. Université Sciences et Technologies - Bordeaux I, 2005
...
tel-00121006v1  Theses
Frédéric Gervais. Combinaison de spécifications formelles pour la modélisation des systèmes d'information
Génie logiciel [cs.SE]. Conservatoire national des arts et metiers - CNAM; Université de Sherbrooke, 2006. Français
...
tel-00318687v1  Habilitation à diriger des recherches
Ali Mili. Une perspective relationnelle de la programmation
Modélisation et simulation. Institut National Polytechnique de Grenoble - INPG; Université Joseph-Fourier - Grenoble I, 1985