Maurice Naftalin

	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

Coauthor Index

1	Miquel Bertran	[4]
2	B. Tim Denvir	[4]