Formal methods in software and systems modeling. Essays dedicated to Hartmut Ehrig on the occasion of his 60th birthday

DOI10.1007/b106390zbMath1069.68009OpenAlexW2492988005MaRDI QIDQ2388714

No author found.

Publication date: 20 September 2005

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

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

Mathematics Subject Classification ID

Proceedings, conferences, collections, etc. pertaining to computer science (68-06) Festschriften (00B30) Theory of computing (68Qxx)

Related Items

Twenty years of rewriting logic ⋮ Semantic foundations for generalized rewrite theories