Theory and formal methods 1993
Theory and formal methods 1993
/ Proceedings of the first Imperial College Department of Computing workshop on theory and formal methods ......................29-31 March 1993
- London: Springer-Verlag, 1993
- viii, 325p.
3-540-19842-3
Proceedings
D 681.3.068(082.2) / N3
3-540-19842-3
Proceedings
D 681.3.068(082.2) / N3