Paul Mukherjee
Publication record assembled from the DBLP archive of ranked conferences.
Papers indexed
4
Venues
3
Active years
1992–1997
Best venue rank
B
Where they publish
Papers
4 indexed papers, newest first.
| Year | Venue | Title | Authors |
|---|---|---|---|
| 1997 | FM | Automatic Translation of VDM-SL Specifications into Gofer. | Paul Mukherjee |
| 1996 | ICECCS | System Refinement in VDM-SL. | Paul Mukherjee |
| 1994 | FM | A Semantics for NewSpeak in VDM-SL. | Paul Mukherjee |
| 1992 | ECRTS | Newthink - An Orwellian specification language for real-time safety critical systems. | Paul Mukherjee, Victoria Stavridou |