Pages that link to "Item:Q2248058"

The following pages link to Loop summarization using state and transition invariants (Q2248058):

Displaying 2 items.

• LCTD: test-guided proofs for C programs on LLVM (Q338629) (← links)
• Precise quantitative information flow analysis -- a symbolic approach (Q2453114) (← links)