Toggle navigation
Sign in
Sign up
conf.researchr.org
/
Lucas Clorius
conf.researchr.org general profile
ECOOP 2025 profile
Registered user since Mon 26 May 2025
Name:
Lucas Clorius
Contributions
2025
PLF
Author of Compositional Implementation and Verification of Swarms - A Tool Demo within the PLF+PLAID-track
Share
x
Mon 12 Jan 20:53