Alberto Griggio - POPL 2024

Sun 14 - Sat 20 January 2024 London, United Kingdom

Not registered as user

Name:Alberto Griggio

Country:Italy

Affiliation:Fondazione Bruno Kessler

Personal website: https://es-static.fbk.eu/people/griggio/

Contributions

2024

Dafny

Towards the verification of a generic interlocking logic: Dafny meets parameterized model checking

Show activities from other conferences

POPL 2024-profile
View general profile

	
		OSZAR »