Pages that link to "Item:Q604388"

The following pages link to Guanhua He (Q604388):

Displaying 4 items.

• Verifying pointer safety for programs with unknown calls (Q604389) (← links)
• Loop invariant synthesis in a combined abstract domain (Q1930180) (← links)
• Invariants Synthesis over a Combined Domain for Automated Program Verification (Q2842643) (← links)
• An Interval-Based Inference of Variant Parametric Types (Q3617693) (← links)