Travelled to:1 × Austria
1 × Spain
Collaborated with:∅
Talks about:vdm (2) translat (1) automat (1) specif (1) semant (1) speak (1) gofer (1) new (1)
Person: Paul Mukherjee
DBLP: Mukherjee:Paul
Contributed to:
19971994Wrote 2 papers:
- FME-1997-Mukherjee #automation #specification
- Automatic Translation of VDM-SL Specifications into Gofer (PM), pp. 258–277.
- FME-1994-Mukherjee #semantics
- A Semantics for NewSpeak in VDM-SL (PM), pp. 480–501.