1 libri in questo genere
Formal description techniques, VII
IFIP WG 6.1 International Conference on Formal Description Techniques (7th 1994 Berne, Switzerland).
