Author： Cuellar Jorge Liu Zhiming
Publisher： Springer Publishing Company
ISSN： 1619-1366
Source： Software and Systems Modeling (SoSyM), Vol.6, Iss.1, 2007-03, pp. : 37-38
Disclaimer: Any content in publications that violate the sovereignty, the constitution or regulations of the PRC is not accepted or approved by CNPIEC.
Related content
By France Robert B. Rumpe Bernhard
Software and Systems Modeling (SoSyM), Vol. 3, Iss. 4, 2004-12 ,pp. :
Access to resources
Recommend
Five years of modeling in SoSyM
By France Robert Rumpe Bernhard
Software and Systems Modeling (SoSyM), Vol. 5, Iss. 4, 2006-12 ,pp. :
Software engineering and formal methods
Software and Systems Modeling (SoSyM), Vol. 7, Iss. 3, 2008-07 ,pp. :
Pinnacles of software engineering: 25 years of formal methods
By Bjørner D.
Annals of Software Engineering, Vol. 10, Iss. 1-4, 2000-01 ,pp. :