Pages that link to "Item:Q3393399"
From MaRDI portal
The following pages link to The Secret Art of Computer Programming (Q3393399):
Displaying 6 items.
- Compositional noninterference from first principles (Q432152) (← links)
- The shadow knows: refinement and security in sequential programs (Q923889) (← links)
- Abstractions of non-interference security: probabilistic versus possibilistic (Q2018754) (← links)
- How to Brew-up a Refinement Ordering (Q2994493) (← links)
- (Q4344097) (← links)
- Program semantics and verification technique for AI-centred programs (Q6174548) (← links)