Automata, Languages and Programming

DOI10.1007/11523468zbMath1081.68577OpenAlexW2940595899WikidataQ56656999 ScholiaQ56656999MaRDI QIDQ5716757

Thomas Streicher, Bernhard Reus

Publication date: 10 January 2006

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

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

Mathematics Subject Classification ID

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

Related Items (2)

Specification patterns for reasoning about recursion through the store ⋮ Deriving a Floyd-Hoare logic for non-local jumps from a formulæ-as-types notion of control

This page was built for publication: Automata, Languages and Programming