Pages that link to "Item:Q3066092"

The following pages link to Verifying Pointer and String Analyses with Region Type Systems (Q3066092):

Displaying 2 items.

• Verifying pointer and string analyses with region type systems (Q2014831) (← links)
• A type and effect system for activation flow of components in Android programs (Q2252643) (← links)