Object organisation in software environments for formal methods (1993)

by J Han, J Welsh
Venue:Proc. of the 4th International Joint Conference on the Theory and Practice of Software Development (TAPSOFT '93