Program Construction by Parts

Authors:
Marc Frappier;Ali Mili;Jules Desharnais
Affiliations:
-;-;-
Venue:
MPC '95 Mathematics of Program Construction
Year:
1995

Citing 0
Cited 3

A Relational Framework For The Integration Of Specifications

Journal of Integrated Design & Process Science
Coupling schemas: data refinement and view (point) composition

2FACS'97 Proceedings of the 2nd BCS-FACS conference on Northern Formal Methods
Investigating miraculous specifications

3FACS'98 Proceedings of the 3rd BCS-FACS conference on Northern Formal Methods

Quantified Score

Hi-index	0.00

Visualization

Abstract