Theory and Practice of Refinement: Approaches to the Formal Development of Large-Scale Software Systems

Authors:
John McDermid
Affiliations:
-
Venue:
Theory and Practice of Refinement: Approaches to the Formal Development of Large-Scale Software Systems
Year:
1989

Citing 0
Cited 1

Formal Methods: The Problem Is Education

SAFECOMP '00 Proceedings of the 19th International Conference on Computer Safety, Reliability and Security

Quantified Score

Hi-index	0.00

Visualization

Abstract