DMCA

Relational verification using product programs (2011)

Cached

Download Links

by Gilles Barthe , Juan Manuel Crespo
Venue:In Formal Methods, Lecture Notes in Computer Science
Citations:22 - 4 self