Skip to Main content Skip to Navigation
New interface


...
tel-00090688v1  Theses
Olivier Ponsini. Des programmes impératifs vers la logique équationnelle pour la vérification
Génie logiciel [cs.SE]. Université Nice Sophia Antipolis, 2005. Français. ⟨NNT : ⟩