Detail konference

Modelling and verifying algorithms in Coq- an introduction

Seznam událostí

Místo konání

Paris

Typ akce

workshop

Druh akce

interní

Termín konání

07.06.2010 - 11.06.2010

URL

http://www.inria.fr/actualites/colloques/cea-edf-inria/2010/model-algo/index.en.html

Naposledy změnil