Relational verification using product programs. (2011)

by G Barthe, J M Crespo, C Kunz
Venue:In FM,