Konstruktion korrekter Programme durch Transformation

From MaRDI portal

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

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

Publication:1093360

Jump to:navigation, search

zbMath0628.68014MaRDI QIDQ1093360

Bernhard Möller, Helmut Partsch

Publication date: 1987

Published in: Informatik Spektrum (Search for Journal in Brave)

zbMATH Keywords

formal specification program transformation program correctness

Mathematics Subject Classification ID

Specification and verification (program logics, model checking, etc.) (68Q60)

This page was built for publication: Konstruktion korrekter Programme durch Transformation

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