Toggle navigation
Sign in
Sign up
conf.researchr.org
/
Carlo Rende
conf.researchr.org general profile
FM 2026 profile
Registered user since Thu 16 Apr 2026
Name:
Carlo Rende
Affiliation:
Aarhus University
Contributions
2026
FM
Author of Further Progress Towards Operation Proof Obligation Generation for VDM within the Workshop: Overture-track
Share
x
Sat 27 Jun 05:26