Please use this identifier to cite or link to this item: http://repositorio.inesctec.pt/handle/123456789/11293
Title: Towards Verified Handwritten Calculational Proofs - (Short Paper)
Authors: Alexandra Sofia Mendes
Ferreira,JF
Issue Date: 2018
Abstract: 
URI: http://repositorio.inesctec.pt/handle/123456789/11293
metadata.dc.type: Publication
conferenceObject
Appears in Collections:Non INESC TEC publications - Indexed Articles in Conferences

Files in This Item:
File Description SizeFormat 
P-00Q-8Q0.pdf1.21 MBAdobe PDFThumbnail
View/Open


Items in DSpace are protected by copyright, with all rights reserved, unless otherwise indicated.