Pages that link to "Item:Q428891"

The following pages link to Boris Yakobowski (Q428891):

Displaying 5 items.

• A Church-style intermediate language for ML\(^{\text F}\) (Q428892) (← links)
• Exploiting pointer analysis in memory models for deductive verification (Q2287078) (← links)
• A Church-Style Intermediate Language for ML F (Q3558327) (← links)
• From ML to ML ^F (Q5178756) (← links)
• Graph-Based Proof Counting and Enumeration with Applications for Program Fragment Synthesis (Q5458807) (← links)