Applying the B Technologies on CICS

Библиографические подробности
Главные авторы: Hoare, J, Dick, J, Neilson, D, Sørensen, I
Формат: Conference item
Опубликовано: Springer−Verlag 1996