scientific article; zbMATH DE number 1512563

zbMATH Open0948.68003MaRDI QIDQ4508288FDOQ4508288

Authors:

Publication date: 3 October 2000

Title of this publication is not available (Why is that?)

zbMATH Keywords

SystemsBusinesses

Mathematics Subject Classification ID

Collections of articles of miscellaneous specific interest (00B15) Proceedings, conferences, collections, etc. pertaining to computer science (68-06)

Cited In (2)

• Inheritance of behavior
• Automatic program instrumentation for automatic verification

This page was built for publication:

Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q4508288)