Object-extending class transformations

DOI10.1007/BF01211306zbMath0941.68525MaRDI QIDQ1336949

Cun Xiao, Karl J. Lieberherr, Walter L. Hürsch

Publication date: 26 February 1996

Published in: Formal Aspects of Computing (Search for Journal in Brave)

Mathematics Subject Classification ID

Specification and verification (program logics, model checking, etc.) (68Q60) General topics in the theory of software (68N01)

Related Items

Unnamed Item

Uses Software

• Eiffel
• GemStone