IFIP Logo
Sign in for Members and Observers

IFIP WG1.3 Foundations of System Specification


Talk "A logic for abstract (hyper)properties"

by Paolo Baldan

Fri, 10 April 2026 at 02:30 pm in Torino, Italy

Joint work with: Roberto Bruni, Francesco Ranzato, Diletta Rigo