En relation avec le sujet du cours

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.