Paul A. Swatman
-
Presenting object oriented formal requirements specifications: insights from an action research study
IW-FM'97 Proceedings of the 1st Irish conference on Formal Methods