Juggling Formal Methods and SecurityBarbara Fila, Hugo Jonker, Sasa Radomirovič · First published 2026Open the Tome