L'air de rien 35
From LRDE
This issue of the lab's bulletin is dedicated to:
- Announcement of 2 PhD thesis defenses with a brief presentation of the research of both students at LRDE
- About model checking with Spot
- Experience of a CSI student within the Spot team
- About Vcsn and its applications
- l'air-de-rien-35
- Four A4 pages
- l'air-de-rien-35-booklet
- Print this copy in Duplex, binding along the short edge.