Local Variable Scoping and Kleene Algebra with Tests

DOI10.1007/11828563_5zbMath1134.68393OpenAlexW1531162216MaRDI QIDQ5459174

Kamal Aboul-Hosn, Dexter Kozen

Publication date: 24 April 2008

Published in: Relations and Kleene Algebra in Computer Science (Search for Journal in Brave)

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

Mathematics Subject Classification ID

Semantics in the theory of computing (68Q55) Specification and verification (program logics, model checking, etc.) (68Q60) Mathematical aspects of software engineering (specification, verification, metrics, requirements, etc.) (68N30)

This page was built for publication: Local Variable Scoping and Kleene Algebra with Tests