Annonce July 2011

annonce@lrde.epita.fr
  • 3 participants
  • 4 discussions

TUG 2011
by Didier Verna
11 years, 8 months

Publication: VECoS'11: LTL Translation Improvements in Spot
by Alexandre Duret-Lutz
13 years, 3 months

Extensible Languages (book chapter)
by Didier Verna
13 years, 3 months

L'air de rien 21
by Daniela Becker
13 years, 4 months
Results per page: