Composition of Model Programs
From MaRDI portal
Publication:3614846
DOI10.1007/978-3-540-73196-2_9zbMath1215.68072OpenAlexW2109381127MaRDI QIDQ3614846
No author found.
Publication date: 10 March 2009
Published in: Lecture Notes in Computer Science (Search for Journal in Brave)
Full work available at URL: https://doi.org/10.1007/978-3-540-73196-2_9
Related Items
Composing model programs for analysis ⋮ State Isomorphism in Model Programs with Abstract Data Structures
Uses Software
Cites Work
This page was built for publication: Composition of Model Programs