A formal approach to object-oriented software engineering
From MaRDI portal
Publication:1608926
DOI10.1016/S0304-3975(01)00367-XzbMath1001.68024MaRDI QIDQ1608926
Martin Wirsing, Alexander Knapp
Publication date: 13 August 2002
Published in: Theoretical Computer Science (Search for Journal in Brave)
68N19: Other programming paradigms (object-oriented, sequential, concurrent, automatic, etc.)
68Q42: Grammars and rewriting systems
Related Items
Uses Software
Cites Work