DMCA

Derivation of Z Refinement Proof Rules: Forwards and backwards rules incorporating input/output refinement (2002)

by David Cooper , Susan Stepney , Jim Woodcock
Citations:10 - 5 self