Deductive integrity maintenance in an object-oriented setting

M.A. Jeusfeld, E. Krüger

Research output: Book/Report › Report

Original languageEnglish
Place of PublicationPassau
PublisherUniversity of Passau
Publication statusPublished - 1990
Externally publishedYes

Publication series

Name
No.Technical Report MIP-9013

Cite this