On Lattice Theory and Program Semantics

Authors:
Jan L. A. Van de Snepscheut
Affiliations:
-
Venue:
On Lattice Theory and Program Semantics
Year:
1993

Citing 0
Cited 1

Towards a refinement algebra

Science of Computer Programming - Special issue on mathematics of program construction (MPC 2002)

Quantified Score

Hi-index	0.00

Visualization

Abstract

No Abstract.