Automated Verification of Szymanski's Algorithm.

E. Pascal Gribomont, Guy Zenner

Browse the full TACAS paper archive.