Silage

MaRDI QIDQ34507swMATHFDO

Official website http://ieeexplore.ieee.org/document/116097/

Cited in

(2)

• Modeling multi-rate DSP specification semantics for formal transformational design in HOL
• On the comparison of HOL and Boyer-Moore for formal hardware verification

This page was built for software: Silage