author : Stuart J. H. Kent

Books

• Formal Methods and Object Technology. 1996, with Stephen J. Goldsack

Short works

• Integrating VDM++ and Real-Time System Design. 1997. (In ZUM '97 )