Publisher: John Wiley & Sons Inc
E-ISSN: 1942-4795|2|2|182-192
ISSN: 1942-4787
Source: WILEY INTERDISCIPLINARY REVIEWS: DATA MINING AND KNOWLEDGE DISCOVERY (ELECTRONIC), Vol.2, Iss.2, 2012-03, pp. : 182-192
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. :