ThEdu’19

Theorem Proving Components for Educational Software Universidade Federal do Rio Grande do NorteNatal, South AmericaBR August 25 – 26 2019 Submission Deadline May 5, 2019Read More