Annonce July 2011

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

TUG 2011
by Didier Verna
9 years, 3 months

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

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

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