About this scholarly article

Harmonizing Intra- and Inter-object Specification and Verification: a Multi-object Logics Approach by Hans-Dieter Ehrich is a scholarly article available to read on EtoBox.

Author

Hans-Dieter Ehrich

Publisher

ACM Press

Published

2005

Language

EN