Login / Signup

An Algebraic Formulation for Data Refinement.

A. John Power
Published in: Mathematical Foundations of Programming Semantics (1989)
Keyphrases