Towards Verified Handwritten Calculational Proofs - (Short Paper)

Thumbnail Image
Files
P-00Q-8Q0.pdf (1.18 MB)
Date
2018
Authors
Alexandra Sofia Mendes
Ferreira,JF
Journal Title
Journal ISSN
Volume Title
Publisher
Abstract
Description
Keywords
Citation
URI
http://repositorio.inesctec.pt/handle/123456789/11293
Collections
Non INESC TEC publications - Indexed Articles in Conferences