Automating Refinement of Circus Programs
From MaRDI portal
Publication:2999326
DOI10.1007/978-3-642-19829-8_18zbMath1325.68163OpenAlexW153095480MaRDI QIDQ2999326
Publication date: 12 May 2011
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-19829-8_18
Related Items (1)
Uses Software
Cites Work
This page was built for publication: Automating Refinement of Circus Programs