Series Higher-Order and Symbolic Computation ; 24:1-2
From CERES
A list of all pages that have property "Series" with value "Higher-Order and Symbolic Computation ; 24:1-2"
- Publications:Static Consistency Checking for Verilog Wire Interconnects : Using Dependent Types to Check the Sanity of Verilog Descriptions +