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

Naposledy změnil

Fit