×
+ All Categories
Log in
English
Français
Español
Deutsch
The top documents tagged [verifier architectureboogiepl]
Home >
verifier architectureboogiepl
K. Rustan M. Leino Microsoft Research, Redmond, WA, USA 19 July 2007 Invited talk, CADE-21 Bremen, Germany.
214 views