Local Symmetry and Compositional Verification

From MaRDI portal
Publication:2891426

DOI10.1007/978-3-642-27940-9_23zbMath1326.68103OpenAlexW115289033MaRDI QIDQ2891426

Kedar S. Namjoshi, Richard Trefler

Publication date: 15 June 2012

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-27940-9_23




Related Items (2)



Cites Work


This page was built for publication: Local Symmetry and Compositional Verification