Applicable Formal Methods for Safe Industrial Products - Markus Roggenbach (Lecture Notes in Computer Science, 2023)
Honorary volume dedicated to Jan Peleska on the occasion of his 65th birthday. Contributions by leading researchers in the domain. Features a range of academic research and industrial implementation successes.