Refinement in Object−Z and CSP

Бібліографічні деталі
Автори: Bolton, C, Davies, J
Формат: Conference item
Опубліковано: 2002