Pages that link to "Item:Q2802435"

The following pages link to Sound, Modular and Compositional Verification of the Input/Output Behavior of Programs (Q2802435):

Displaying 2 items.

• Connecting Higher-Order Separation Logic to a First-Order Outside World (Q5041105) (← links)
• Characteristic formulae for liveness properties of non-terminating CakeML programs (Q5875446) (← links)