Nils A. Kandelin

List of publications from the DBLP Bibliography Server - FAQ

1995

1 EE Nils A. Kandelin, Daniel E. O'Leary: Verification of object-oriented systems: Domain-dependent and domain-independent approaches. Journal of Systems and Software 29(3): 261-269 (1995)

1995
1	EE	Nils A. Kandelin, Daniel E. O'Leary: Verification of object-oriented systems: Domain-dependent and domain-independent approaches. Journal of Systems and Software 29(3): 261-269 (1995)

Coauthor Index