Labels

Labels

• Formal

  Formal

  Issue concerning formal specification

• Imp

  Imp

  C implementation

• Informal

  Informal

  Issue concerning informal specification

• NumAcc

  NumAcc

  Issue concerning the specification / analysis of numerical accuracy

• Other

  Other

• Test

  Test

  Issue concerning testing

• TLSE WG

  TLSE WG

  Working group meeting periodically in Toulouse (France)