![](/images/ico/ico_close.png)
![](/images/ico/ico5.png)
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
![](/images/ico/ico_close.png)
![](/images/ico/ico5.png)
SourceOECD Science & Information Technology, Vol. 2010, Iss. 13, 2010-11 ,pp. :
![](/images/ico/ico_close.png)
![](/images/ico/ico5.png)
By Havelund Klaus Roşu Grigore
Formal Methods in System Design, Vol. 27, Iss. 3, 2005-11 ,pp. :
![](/images/ico/ico_close.png)
![](/images/ico/ico5.png)
Formal Methods in System Design, Vol. 29, Iss. 2, 2006-09 ,pp. :
![](/images/ico/ico_close.png)
![](/images/ico/ico5.png)
Mathematics in Computer Science, Vol. 1, Iss. 3, 2008-03 ,pp. :
![](/images/ico/ico_close.png)
![](/images/ico/ico5.png)
Machine Learning, Vol. 31, Iss. 1-3, 1998-04 ,pp. :