Proceedings 10th International Workshop on Theorem Proving Components for Educational Software

View Statistics Email Alert RSS Feed

Book details Buch-Details

Book title Buchtitel
Proceedings 10th International Workshop on Theorem Proving Components for Educational Software
 
Editor Herausgeber_in
 
Publisher Herausgeber
EPTCS
 
DOI
10.4204/EPTCS.354
 
Series Schriftenreihe
Electronic Proceedings in Theoretical Computer Science (EPTCS)
 
Volume Band
354
 

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