Refinement in Object−Z and CSP

Bibliografske podrobnosti
Main Authors: Bolton, C, Davies, J
Format: Conference item
Izdano: 2002