Certified Verification of Relational Properties.

Lionel Blatter, Nikolai Kosmatov, Virgile Prevosto, Pascale Le Gall

Browse the full IFM paper archive.