Henson, Martin C.
Henson, M C
VIAF ID: 54481939 (Personal)
ISNI: 0000 0000 8383 7244
4xx's: Alternate Name Forms (2)
- 400 1 _ ‡a Henson, Martin C.
- 400 0 _ ‡a Martin Henson ‡c Dean of International Development and Professor of Computer Science at the University of Essex, UK
|Elements of functional languages|
|Logics of specification languages|
|ZB 2005: Formal Specification and Development in Z and B 4th International Conference of B and Z Users, Guildford, UK, April 13-15, 2005, Proceedings|