HEAP Lab Talk – Introduction to Monotone Frameworks

Stephan Ploegers (University of Bonn)