Author： Bjørner D.
Publisher： Springer Publishing Company
ISSN： 1022-7091
Source： Annals of Software Engineering, Vol.6, Iss.1-4, 1998-01, pp. : 365-409
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
Software engineering and formal methods
Software and Systems Modeling (SoSyM), Vol. 7, Iss. 3, 2008-07 ,pp. :
Access to resources
Recommend
Opportunities for software engineering education
By Frailey D.J.
Annals of Software Engineering, Vol. 6, Iss. 1-4, 1998-01 ,pp. :
Professional software engineering education
By Denning P.J.
Annals of Software Engineering, Vol. 6, Iss. 1-4, 1998-01 ,pp. :
A Formal Approach to Object-Oriented Software Engineering
Electronic Notes in Theoretical Computer Science, Vol. 4, Iss. 1, 2004-01 ,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. :