Refinement in Object−Z and CSP

Dettagli Bibliografici
Autori principali: Bolton, C, Davies, J
Natura: Conference item
Pubblicazione: 2002

Documenti analoghi