Author: Laughton Paul
Publisher: Emerald Group Publishing Ltd
ISSN: 0033-0337
Source: Program: electronic library & information systems, Vol.46, Iss.3, 2012-07, pp. : 308-320
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
Assuring property conformance of code generators via model checking
By Jörges Sven
Formal Aspects of Computing, Vol. 23, Iss. 5, 2011-09 ,pp. :