Home › Authors › IFIP WG 6.1 International Conference on Formal Description Techniques (7th 1994 Berne, Switzerland). 👤 IFIP WG 6.1 International Conference on Formal Description Techniques (7th 1994 Berne, Switzerland). 1 book Books by IFIP WG 6.1 International Conference on Formal Description Techniques (7th 1994 Berne, Switzerland). Formal description techniques, VII 1995
