Trace preservation in B and Event-B refinements
From MaRDI portal
Publication:6151629
DOI10.1016/j.jlamp.2024.100943MaRDI QIDQ6151629
Michael Leuschel, Atif Mashkoor, Alexander Egyed, Sebastian Stock
Publication date: 12 February 2024
Published in: Journal of Logical and Algebraic Methods in Programming (Search for Journal in Brave)
Cites Work
This page was built for publication: Trace preservation in B and Event-B refinements