Toggle navigation
Sign in
Sign up
conf.researchr.org
/
Victoria Johnson
conf.researchr.org general profile
FM 2026 profile
Not registered as user
Name:
Victoria Johnson
Country:
United Kingdom
Affiliation:
University of Sheffield
Contributions
2026
FM
Author of Verifying Properties of State-Based Models using Constraint Programming within the ABZ-track
Share
x
Sat 31 Oct 17:30