T. M. Bull

A transformation system for maintenance-turning theory into practice

Keith H. Bennett, T. M. Bull, H. Yang, 1992, Proceedings Conference on Software Maintenance 1992.

An introduction to the WSL program transformer

T. M. Bull, 1990, Proceedings. Conference on Software Maintenance 1990.

System Safety through Formal Domain-Specific Languages

Keith H. Bennett, T. M. Bull, Tim M. Bull, 1996, SSS.

Reverse engineering concurrent programs using formal modelling and analysis

E. J. Younger, Keith H. Bennett, T. M. Bull, 1996, Proceedings of WCRE '96: 4rd Working Conference on Reverse Engineering.

Reverse engineering concurrent programs using formal modelling and analysis

E. J. Younger, Keith H. Bennett, T. M. Bull, 1996, 1996 Proceedings of International Conference on Software Maintenance.