ResearchHub Endowment
Earn daily Funding Credits to fund science
Paper
Paper
Search
Log in
Sign up
Sign up
Publish
Home
My Funding
Peer Review
Journal
Endowment
Help & resources
act: Technical report | ResearchHub
ResearchHub Endowment
Earn daily Funding Credits to fund science
Paper
Paper
Search
Log in
Sign up
Sign up
Publish
Home
My Funding
Peer Review
Journal
Endowment
Help & resources
act: Technical report
By
Paraskevopoulou, Zoe
2 more
Paraskevopoulou, Zoe
·
Komel, Petković
·
Rain, Sophie
April 3, 2026
21
Paper
Reviews
0
Conversation
0
Bounties
0
Loading PDF viewer…
Preprint Server
Topics
#computer-science
#programming-languages
#security-and-verification-in-computing
#logic-programming-and-type-systems
#formal-methods-in-verification
DOI
10.48550/arXiv.2604.02955
License
CC-BY-SA
Other Formats
PDF
