Sign in

Data Refinement of Invariant Based Programs.

Viorel PreoteasaRalph-Johan Back
Published in: Electron. Notes Theor. Comput. Sci. (2009)
Keyphrases