Object-extending class transformations

From MaRDI portal

Revision as of 13:12, 31 January 2024 by Import240129110113 (talk | contribs) (Created automatically from import240129110113)

(diff) ← Older revision | Latest revision (diff) | Newer revision → (diff)

Publication:1336949

Jump to:navigation, search

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 (1)

Uses Software

This page was built for publication: Object-extending class transformations

Retrieved from "https://portal.mardi4nfdi.de/w/index.php?title=Publication:1336949&oldid=13466313"