Pages that link to "Item:Q2937788"

The following pages link to Bi-Abduction with Pure Properties for Specification Inference (Q2937788):

Displaying 2 items.

• Deductive synthesis of programs with pointers: techniques, challenges, opportunities (invited paper) (Q832157) (← links)
• Compositional satisfiability solving in separation logic (Q2234106) (← links)