Beyond 2-safety: Asymmetric product programs for relational program verification (2013)

by Gilles Barthe, Juan Manuel Crespo, César Kunz
Venue:In Sergei N. Artëmov and Anil Nerode, editors, LFCS, volume 7734 of Lecture Notes in Computer Science