FRIDGE
From MaRDI portal
Software:37167
No author found.
Related Items (4)
Error analysis of digital filters using HOL theorem proving ⋮ Theorem Proving in Higher Order Logics ⋮ Formal Methods in Computer-Aided Design ⋮ Formalization of fixed-point arithmetic in HOL
This page was built for software: FRIDGE
