A Practical Single Refinement Method for B
From MaRDI portal
Publication:3535376
DOI10.1007/978-3-540-87603-8_16zbMath1156.68470OpenAlexW1581814209MaRDI QIDQ3535376
Publication date: 11 November 2008
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-87603-8_16
Cites Work
This page was built for publication: A Practical Single Refinement Method for B