Hardware verification languages - Document - PDFSEARCH.IO

First Page	Meta Content
$Formal methods / Logic in computer science / Theoretical computer science / Formal verification / Sun Yat-sen University / Sun Yat-sen / Logic programming / Guangzhou / Chinese people / Guangdong / Provinces of the People\'s Republic of China$	Institute for Integrated and Intelligent Systems Speaker: Professor Yongmei Liu - Sun Yat-sen University in Guangzhou Date: Add to Reading List Document Date: 2014-08-21 03:08:32 Open Document File Size: 94,98 KB Share Result on Facebook

UPDATE

Institute for Integrated and Intelligent Systems Speaker: Professor Yongmei Liu - Sun Yat-sen University in Guangzhou Date:Add to Reading List