PAPER DETAILS
AUTOMATED REASONING IN THE CLASS: AN EDUCATIONAL PROJECT FOR SOFTWARE ENGINEERS
I. Dramnesc, T. Jebelean
Event: INTED2022
This paper is indexed in IATED Digital Library.
Track: STEM Education
Session: Computer Science
Session type: VIRTUAL