1. Home
  2. Organisations
  3. Laboratoire d'informatique formelle

1 dataset found

Licenses: Other (Open) Formats: ZIP Organisations: Laboratoire d'informatique formelle

Filter Results

  • JHotDraw Sample traces

    40 traces of executions of the Java software JHotDraw, captured using TPTP. The excel file describes the content of each trace.