Publisher： OECD Publishing
ISSN： 1011-792X
Source： OECD Main Science and Technology Indicators, Vol.2010, Iss.2, 2011-02, pp. : 1-3
Disclaimer: Any content in publications that violate the sovereignty, the constitution or regulations of the PRC is not accepted or approved by CNPIEC.
Abstract
Related content
SourceOECD Science & Information Technology, Vol. 2010, Iss. 13, 2010-11 ,pp. :
Access to resources
Recommend
By Havelund Klaus Roşu Grigore
Formal Methods in System Design, Vol. 27, Iss. 3, 2005-11 ,pp. :
Formal Methods in System Design, Vol. 29, Iss. 2, 2006-09 ,pp. :
Mathematics in Computer Science, Vol. 1, Iss. 3, 2008-03 ,pp. :
Machine Learning, Vol. 31, Iss. 1-3, 1998-04 ,pp. :