Annonce July 2011

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

TUG 2011
by Didier Verna
10 years, 9 months

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

Extensible Languages (book chapter)
by Didier Verna
12 years, 4 months

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