π-Ware: Hardware Description and Verification in Agda

DSpace/Manakin Repository

π-Ware: Hardware Description and Verification in Agda
 
Pizani Flor, J.P.; Swierstra, W.S.; Sijsling, Yorick
(2016) 21st International Conference on Types for Proofs and Programs TYPES 2015, Tallinn, Estonia, 18-21 May 2015, pp. 67 - 68
(Part of book)
Download/Full Text
Open Access version via Utrecht University Repository Publisher version
 
DOI: https://doi.org/10.4230/LIPIcs.TYPES.2015.9
Publisher: Institute of Cybernetics, Tallinn Technical University
(Peer reviewed)
 
See more statistics about this item