![](/images/ico/ico_close.png)
![](/images/ico/ico5.png)
Author: Vadera Sunil
Publisher: Springer Publishing Company
ISSN: 1022-7091
Source: Annals of Software Engineering, Vol.3, Iss.1, 1997-01, pp. : 273-290
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)
Understanding and exploring formal specifications
By Siddiqi J. Morrey I. Hibberd R. Buckberry G.
Annals of Software Engineering, Vol. 6, Iss. 1-4, 1998-01 ,pp. :
![](/images/ico/ico_close.png)
![](/images/ico/ico5.png)
Formal Specifications of User Requirements
By Clark R.G.
Automated Software Engineering, Vol. 6, Iss. 3, 1999-07 ,pp. :
![](/images/ico/ico_close.png)
![](/images/ico/ico5.png)
![](/images/ico/ico_close.png)
![](/images/ico/ico5.png)
Editorial: Kernel Methods: Current Research and Future Directions
By Cristianini N. Campbell C. Burges C.
Machine Learning, Vol. 46, Iss. 1-3, 2002-01 ,pp. :