From object-orientation to formal methods. Essays in memory of Ole-Johan Dahl.

DOI10.1007/b96089zbMath1045.68015WikidataQ55922683 ScholiaQ55922683MaRDI QIDQ1880599

No author found.

Publication date: 30 September 2004

Published in: Lecture Notes in Computer Science (Search for Journal in Brave)

Full work available at URL: https://doi.org/10.1007/b96089

Mathematics Subject Classification ID

68-06: Proceedings, conferences, collections, etc. pertaining to computer science

00B30: Festschriften

68N30: Mathematical aspects of software engineering (specification, verification, metrics, requirements, etc.)

Related Items

Semantic foundations for generalized rewrite theories