<XML><RECORDS><RECORD><REFERENCE_TYPE>1</REFERENCE_TYPE><REFNUM>6034</REFNUM><AUTHORS><AUTHOR>Margaria,T.</AUTHOR><AUTHOR>Melham,T.F.</AUTHOR></AUTHORS><YEAR>2001</YEAR><TITLE>Correct Hardware Design and Verification Methods</TITLE><PLACE_PUBLISHED>Correct Hardware Design and Verification Methods: 11th IFIP WG10.5 Advanced Research Working Conference, CHARME 2001: UK </PLACE_PUBLISHED><PUBLISHER>Springer Verlag</PUBLISHER><ISBN>3-540-42541-1</ISBN><LABEL>Margaria:2001:6034</LABEL><ABSTRACT> </ABSTRACT></RECORD></RECORDS></XML>