Author: Wong R.K.
Publisher: Springer Publishing Company
ISSN: 1386-145X
Source: World Wide Web, Vol.4, Iss.1-2, 2001-01, pp. : 79-99
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
Theorem prover approach to semistructured data design
By Lee Scott
Formal Methods in System Design, Vol. 37, Iss. 1, 2010-11 ,pp. :