Stephen Clarke
-
Improving access of the commercial software developer to formal methods: integrating MERISE with Z
Methods'96 Proceedings of the 1996 international conference on Methods Integration