| |
| 1996 | ||
|---|---|---|
| 3 | Neel Madhav: Testing Ada 95 Programs for Conformance to Rapide Architectures. Ada-Europe 1996: 123-134 | |
| 1991 | ||
| 2 | EE | Neel Madhav, Sigurd Meldal: An object-oriented approach to formal specification of reactive systems. ICDCS 1991: 134-141 |
| 1 | John C. Mitchell, Sigurd Meldal, Neel Madhav: An Extension of Standard ML Modules with Subtyping and Inheritance. POPL 1991: 270-278 | |
| 1 | Sigurd Meldal | [1] [2] |
| 2 | John C. Mitchell | [1] |