| old_uid | 18793 |
|---|---|
| title | Enriched concurrent games: witnesses for proofs and resource analysis |
| start_date | 2021/02/18 |
| schedule | 10h |
| online | no |
| details | https://bbb.lipn.univ-paris13.fr/b/sei-eer-t24 (code d’accès: 749983) |
| responsibles | Lacroix |
| unset title | login |
Enriched concurrent games: witnesses for proofs and resource analysis
|