Mathematics of Program Construction
From MaRDI portal
Publication:5313086
DOI10.1007/b98756zbMath1106.68022OpenAlexW2492557863MaRDI QIDQ5313086
Publication date: 26 August 2005
Published in: Lecture Notes in Computer Science (Search for Journal in Brave)
Full work available at URL: https://doi.org/10.1007/b98756
Lua error in Module:PublicationMSCList at line 37: attempt to index local 'msc_result' (a nil value).
Related Items (4)
Formal proof of prefix adders ⋮ Unnamed Item ⋮ Coquet: A Coq Library for Verifying Hardware ⋮ Functional verification of high performance adders in \textsc{Coq}
This page was built for publication: Mathematics of Program Construction
