Towards Verified Handwritten Calculational Proofs - (Short Paper)

Thumbnail Image
Date
2018
Authors
Alexandra Sofia Mendes
Ferreira,JF
Journal Title
Journal ISSN
Volume Title
Publisher