Proceedings of the VDM-Europe Symposium on VDM - A Formal Method at Work

Authors:
Dines Bjørner;Cliff B. Jones;Mícheál Mac an Airchinnigh;Erich J. Neuhold
Affiliations:
-;-;-;-
Venue:
VDM '87 Proceedings of the VDM-Europe Symposium on VDM - A Formal Method at Work
Year:
1987

Citing 0
Cited 3

Software engineering education: Rôles of formal specification and design calculi

Annals of Software Engineering - Special issue on software engineering education
Pinnacles of software engineering: 25 years of formal methods

Annals of Software Engineering
Cooperation of Formal Methods in an Engineering Based Software Development Process

IFM '00 Proceedings of the Second International Conference on Integrated Formal Methods

Quantified Score

Hi-index	0.00

Visualization

Abstract