Maurice Naftalin
Publication record assembled from the DBLP archive of ranked conferences.
Papers indexed
4
Venues
3
Active years
1986–1994
Best venue rank
B
Where they publish
Papers
4 indexed papers, newest first.
| Year | Venue | Title | Authors |
|---|---|---|---|
| 1994 | FM | Informal Strategies in Design by Refinement. | Maurice Naftalin |
| 1988 | COMPSAC | Verifiable program construction in a user-friendly style. | Maurice Naftalin |
| 1988 | FM | Correctness for Beginners. | Maurice Naftalin |
| 1986 | ESOP | An Experiment in Practical Semantics. | Maurice Naftalin |