![](/images/ico/ico_close.png)
![](/images/ico/ico5.png)
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
![](/images/ico/ico_close.png)
![](/images/ico/ico5.png)
![](/images/ico/ico_close.png)
![](/images/ico/ico5.png)
![](/images/ico/ico_close.png)
![](/images/ico/ico5.png)
![](/images/ico/ico_close.png)
![](/images/ico/ico5.png)
Theorem prover approach to semistructured data design
By Lee Scott
Formal Methods in System Design, Vol. 37, Iss. 1, 2010-11 ,pp. :