Author： Rooks Brian
Publisher： Emerald Group Publishing Ltd
ISSN： 0144-5154
Source： Assembly Automation, Vol.17, Iss.3, 1997-03, pp. : 211-214
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
Pinnacles of software engineering: 25 years of formal methods
By Bjørner D.
Annals of Software Engineering, Vol. 10, Iss. 1-4, 2000-01 ,pp. :
Access to resources
Recommend
The Charleston Advisor, Vol. 15, Iss. 1, 2013-07 ,pp. :
Computational Economics, Vol. 25, Iss. 4, 2005-06 ,pp. :
Computational Economics, Vol. 25, Iss. 4, 2005-06 ,pp. :