Verification Using Simulation”. (2006)

by A Girard, G Pappas
Venue:Lecture Notes in Computer Science,