Author： Cortesi A. File G.
Publisher： Elsevier
ISSN： 0167-6423
Source： Science of Computer Programming, Vol.47, Iss.2, 2003-05, pp. : 89-90
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
Static analysis of Lyee requirements
By Mejri M. Ktari B. Fujita H. Erhioui M.
Knowledge-Based Systems, Vol. 16, Iss. 7, 2003-11 ,pp. :
Access to resources
Recommend
A static analogy for 2D tolerance analysis
Assembly Automation, Vol. 34, Iss. 2, 2014-04 ,pp. :
Integrated static code analysis and runtime verification
SOFTWARE:PRACTICE AND EXPERIENCE, Vol. 45, Iss. 10, 2015-10 ,pp. :