| |
| 1994 | ||
|---|---|---|
| 4 | Maurice Naftalin, B. Tim Denvir, Miquel Bertran: FME '94: Industrial Benefit of Formal Methods, Second International Symposium of Formal Methods Europe, Barcelona, Spain, October 24-18, 1994, Proceedings Springer 1994 | |
| 3 | Maurice Naftalin: Informal Strategies in Design by Refinement. FME 1994: 401-420 | |
| 1988 | ||
| 2 | Maurice Naftalin: Correctness for Beginners. VDM Europe 1988: 26-47 | |
| 1986 | ||
| 1 | Maurice Naftalin: An Experiment in Practical Semantics. ESOP 1986: 144-159 | |
| 1 | Miquel Bertran | [4] |
| 2 | B. Tim Denvir | [4] |