The following pages link to (Q4536314):
Displayed 12 items.
- KeY (Q21946) (← links)
- Towards ``mouldable code'' via nested code graph transformation (Q406453) (← links)
- Verification of object-oriented programs: a transformational approach (Q439944) (← links)
- Observable behavior of distributed systems: component reasoning for concurrent objects (Q444466) (← links)
- A proof system for adaptable class hierarchies (Q478383) (← links)
- Lazy behavioral subtyping (Q710675) (← links)
- Integration of a security type system into a program logic (Q935469) (← links)
- A survey of emerging threats in cybersecurity (Q2442167) (← links)
- Precise quantitative information flow analysis -- a symbolic approach (Q2453114) (← links)
- Observable Behavior of Dynamic Systems: Component Reasoning for Concurrent Objects (Q2864507) (← links)
- Ensuring the Correctness of Lightweight Tactics for JavaCard Dynamic Logic (Q2871841) (← links)
- Multimodal Separation Logic for Reasoning About Operational Semantics (Q5415628) (← links)