dblp.uni-trier.dewww.uni-trier.de

Neel Madhav

List of publications from the DBLP Bibliography Server - FAQ
Coauthor Index - Ask others: ACM DL/Guide - CiteSeer - CSB - Google - MSN - Yahoo

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

1Sigurd Meldal [1] [2]
2John C. Mitchell [1]

Copyright © Sun May 17 03:24:02 2009 by Michael Ley (ley@uni-trier.de)