Pages that link to "Item:Q2576570"

The following pages link to A computer checked algebraic verification of a distributed summation algorithm (Q2576570):

Displaying 1 item.

• Focus points and convergent process operators: A proof strategy for protocol verification (Q1349249) (← links)