Author： Nimmer J.W. Ernst M.D.
Publisher： Elsevier
ISSN： 1571-0661
Source： Electronic Notes in Theoretical Computer Science, Vol.55, Iss.2, 2004-01, pp. : 1-22
Disclaimer: Any content in publications that violate the sovereignty, the constitution or regulations of the PRC is not accepted or approved by CNPIEC.
Previous Menu Next
Abstract
Related content
Journal of Automated Reasoning, Vol. 30, Iss. 3-4, 2003-05 ,pp. :
Access to resources
Recommend
Java Bytecode Verification: Algorithms and Formalizations
By Leroy Xavier
Journal of Automated Reasoning, Vol. 30, Iss. 3-4, 2003-05 ,pp. :
Dependent Types for Program Termination Verification
By Xi H.
LISP and Symbolic Computation, Vol. 15, Iss. 1, 2002-03 ,pp. :
Automatic Verification of Static Policies on Software Process Models
By Reis R.Q.
Annals of Software Engineering, Vol. 14, Iss. 1-4, 2002-12 ,pp. :
Integrated static code analysis and runtime verification
SOFTWARE:PRACTICE AND EXPERIENCE, Vol. 45, Iss. 10, 2015-10 ,pp. :