En relation avec le sujet du cours

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

Thomas JensenInria Rennes

04 novembre 2015 17:30 Séminaire INRIA Rennes
Attention, ce premier séminaire est délocalisé à l'Inria de Rennes.
Algorithmes, machines et langages