L'air de rien 35

From LRDE


This issue of the lab's bulletin is dedicated to:

  1. Announcement of 2 PhD thesis defenses with a brief presentation of the research of both students at LRDE
  2. About model checking with Spot
  3. Experience of a CSI student within the Spot team
  4. 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.