Refinement in Object−Z and CSP

Մատենագիտական մանրամասներ
Հիմնական հեղինակներ: Bolton, C, Davies, J
Ձևաչափ: Conference item
Հրապարակվել է: 2002