Formal MethodsAndré Platzer, Kristin Yvonne Rozier, Matteo Pradella, Matteo Rossi · First published 2024Open the Tome