Complete Abstractions Everywhere

DOI10.1007/978-3-642-35873-9_3zbMath1426.68059OpenAlexW31392846MaRDI QIDQ2926636

Francesco Ranzato

Publication date: 3 November 2014

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

Full work available at URL: https://doi.org/10.1007/978-3-642-35873-9_3

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)

Related Items (1)

Local completeness logic on Kleene algebra with tests

This page was built for publication: Complete Abstractions Everywhere