Annonce July 2011

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

TUG 2011
by Didier Verna
9 years, 7 months

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

Extensible Languages (book chapter)
by Didier Verna
11 years, 2 months

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