IFIP Logo
Sign in for Members and Observers

IFIP WG1.3 Foundations of System Specification


Talk "Discussion on Teaching Formal Methods"

by Holger Schlingloff

Sat, 14 June 2025 at 04:40 pm in Glasgow, Scotland