Corrie Huijs. Design Correctness of Digital Systems. In 24th EUROMICRO 98 Conference, Engineering Systems and Software for the Next Decade, 25-27 August 1998, Vesteras, Sweden. pages 10030-10033, IEEE Computer Society, 1998. [doi]
Abstract is missing.