Maurice Naftalin - researchr alias

researchr

You are not signed in
Sign in
Sign up

2006

Java generics and collections - speed up the Java development processMaurice Naftalin, Philip Wadler. O Reilly, 2006. [doi]

1994

FME 94: Industrial Benefit of Formal Methods, Second International Symposium of Formal Methods Europe, Barcelona, Spain, October 24-18, 1994, ProceedingsMaurice Naftalin, B. Tim Denvir, Miquel Bertran, editors, Volume 873 of Lecture Notes in Computer Science, Springer, 1994.

Informal Strategies in Design by RefinementMaurice Naftalin. fm 1994: 401-420

1988

Correctness for BeginnersMaurice Naftalin. fm 1988: 26-47

1986

An Experiment in Practical SemanticsMaurice Naftalin. ESOP 1986: 144-159