Reasoning about Complexity of Object-Oriented Programs.

Heinz W. Schmidt Wolf Zimmermann

Published in: PROCOMET (1994)

Keyphrases

object oriented programs
integration testing
specification languages
information systems