Pages that link to "Item:Q4957197"

The following pages link to A Transformational Approach to Resource Analysis with Typed-norms Inference (Q4957197):

Displaying 1 item.

• Verifying Catamorphism-Based Contracts using Constrained Horn Clauses (Q5038461) (← links)