Toggle navigation
Sign in
Sign up
conf.researchr.org
/
Tim Müller
conf.researchr.org general profile
ECOOP 2025 profile
Not registered as user
Name:
Tim Müller
Affiliation:
University of Amsterdam
Contributions
2025
GPCE
Author of A Stable Model Semantics for eFLINT Norm Specifications and Model Checking Scenarios within the GPCE-track
Share
x
Sat 17 Oct 19:58