10th International Workshop on Theorem Proving Components for Educational Software, ThEdu@CADE 2021

View Statistics Email Alert RSS Feed

Description

Event name
10th International Workshop on Theorem Proving Components for Educational Software, ThEdu@CADE 2021
 
Event type
Event for scientific audience
 
Start date
11-07-2021
End date
11-07-2021
 
Location
Pittsburgh
Country
United States
 
Conference Track
Single Track
Event format Veranstaltungsformat
Online

Publications Publikationen

Results 1-1 of 1 (Search time: 0.002 seconds).

PreviewAuthors / EditorsTitleTypeIssue Date
1Eisenhofer-2022-Automated Instantiation of Control Flow Tracing Exercises-vor.pdf.jpgEisenhofer, Clemens ; Riener, Martin ; Marcos, Joao ; Neuper, Walther ; Quaresma, Pedro Automated Instantiation of Control Flow Tracing ExercisesInproceedings Konferenzbeitrag 8-Feb-2022