Refinement in Object−Z and CSP

Sonraí bibleagrafaíochta
Príomhchruthaitheoirí: Bolton, C, Davies, J
Formáid: Conference item
Foilsithe / Cruthaithe: 2002