Intégration de la vérification formelle dans les langages de programmation (INRIA de Rennes)

Attention, ce premier séminaire est délocalisé à l'Inria de Rennes.