Programming Languages and Systems
From MaRDI portal
Publication:5493376
DOI10.1007/11575467zbMath1159.68378MaRDI QIDQ5493376
Publication date: 20 October 2006
Published in: Lecture Notes in Computer Science (Search for Journal in Brave)
Related Items (3)
Why does Astrée scale up? ⋮ Memory-efficient fixpoint computation ⋮ Distributed and Predictable Software Model Checking
Uses Software
This page was built for publication: Programming Languages and Systems
