Computer Aided Systems Theory – EUROCAST 2005
From MaRDI portal
Publication:5394420
DOI10.1007/11556985zbMath1143.68641OpenAlexW2494556639MaRDI QIDQ5394420
Jesús Aransay, Clemens Ballarin, Julio Jesús Rubio García
Publication date: 1 November 2006
Published in: Lecture Notes in Computer Science (Search for Journal in Brave)
Full work available at URL: https://doi.org/10.1007/11556985
Related Items (2)
Generating certified code from formal proofs: a case study in homological algebra ⋮ ACL2 Verification of Simplicial Degeneracy Programs in the Kenzo System
Uses Software
This page was built for publication: Computer Aided Systems Theory – EUROCAST 2005
