Maximiliano Cristiá·2024-07-04·via cs.SE updates on arXiv.org
In this class notes students can learn how B specifications can be translated into $\{log$\}$ forgrams, how these forgrams can be executed and how they can be proved to verify some properties.
