Toggle navigation
Sign in
Sign up
conf.researchr.org
/
Nick Battle
conf.researchr.org general profile
FM 2026 profile
Not registered as user
Name:
Nick Battle
Affiliation:
Semi-Retired
Contributions
2026
FM
Author of Further Progress Towards Operation Proof Obligation Generation for VDM within the Workshop: Overture-track
Share
x
Thu 25 Jun 08:35