IFIP Logo
Sign in for Members and Observers

IFIP WG1.3 Foundations of System Specification


Prof. Dr.

Benjamin Lucien Kaminski

Saarland University and University College London
Germany
Research topics: Quantitative Program Verification Fixed Point Theory
https://quave.cs.uni-saarland.de/benjamin-kaminski