Carlo Rende - FM 2026

Mon 18 - Fri 22 May 2026 Tokyo, Japan

Registered user since Thu 16 Apr 2026

Name:Carlo Rende

Affiliation:Aarhus University

Contributions

2026

FM

Further Progress Towards Operation Proof Obligation Generation for VDM

Show activities from other conferences

FM 2026-profile
View general profile