An abstract account of composition

DOI10.1007/3-540-60246-1_155zbMath1193.68159OpenAlexW1481592367MaRDI QIDQ3569039

Stephan Merz, Martín Abadi

Publication date: 17 June 2010

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

Full work available at URL: https://doi.org/10.1007/3-540-60246-1_155

Mathematics Subject Classification ID

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

Related Items (2)

Compositional Reasoning ⋮ Automated compositional proofs for real-time systems

This page was built for publication: An abstract account of composition