TreatJS
From MaRDI portal
Software:31814
No author found.
Related Items (5)
A Debugger-Cooperative Higher-Order Contract System in Python ⋮ An extended account of contract monitoring strategies as patterns of communication ⋮ LMS-Verify: abstraction without regret for verified systems programming ⋮ Blame assignment for higher-order contracts with intersection and union ⋮ Session-typed concurrent contracts
This page was built for software: TreatJS
