Home › Authors › Mattias Ulbrich 👤 Mattias Ulbrich 1 book Books by Mattias Ulbrich Deductive Software Verificatio Deductive Software Verification : Future Perspectives 2020