OBRA: Oracle-Based, Relational, Algorithmic Type Verification
Project: CRETE
Updated at: 01-11-2025
Show more
information
Project acronym
CRETE