DOI http://dx.doi.org/10.1145/1480945.1480963
From CERES
A list of all pages that have property "DOI" with value "http://dx.doi.org/10.1145/1480945.1480963"
- Publications:Static Consistency Checking for Verilog Wire Interconnects : Using dependent types to check the sanity of verilog descriptions +
