Neel Madhav
Publication record assembled from the DBLP archive of ranked conferences.
Papers indexed
3
Venues
3
Active years
1990–1991
Best venue rank
A*
Where they publish
Papers
3 indexed papers, newest first.
| Year | Venue | Title | Authors |
|---|---|---|---|
| 1991 | ICDCS | An object-oriented approach to formal specification of reactive systems. | Neel Madhav, Sigurd Meldal |
| 1991 | POPL | An Extension of Standard ML Modules with Subtyping and Inheritance. | John C. Mitchell, Sigurd Meldal, Neel Madhav |
| 1990 | COMPSAC | A methodology for formal specification and implementation of Ada packages. | Neel Madhav, Walter Mann |