Neel Madhav

List of publications from the DBLP Bibliography Server - FAQ

Ask others: ACM DL/Guide -

- CSB - MetaPress - Google - Bing - Yahoo

1996

3 Neel Madhav: Testing Ada 95 Programs for Conformance to Rapide Architectures. Ada-Europe 1996: 123-134

1991

2 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

	1996
3		Neel Madhav: Testing Ada 95 Programs for Conformance to Rapide Architectures. Ada-Europe 1996: 123-134
	1991
2		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

Coauthor Index

1 Sigurd Meldal [1] [2]

2 John C. Mitchell [1]