Pages that link to "Item:Q3643359"

The following pages link to Social processes, program verification and all that (Q3643359):

Displaying 2 items.

• 2011 North American Annual Meeting of the Association for Symbolic Logic (Q2893284) (← links)
• A Vindication of Program Verification (Q2963953) (← links)