TreatJS
From MaRDI portal
Software:31814
swMATH19991MaRDI QIDQ31814FDOQ31814
Author name not available (Why is that?)
Cited In (5)
- LMS-Verify: abstraction without regret for verified systems programming
- Session-typed concurrent contracts
- An extended account of contract monitoring strategies as patterns of communication
- Blame assignment for higher-order contracts with intersection and union
- A Debugger-Cooperative Higher-Order Contract System in Python
This page was built for software: TreatJS
