×
+ All Categories
Log in
English
Français
Español
Deutsch
The top documents tagged [return cmd]
Home >
return cmd
1 Towards a Verifying Compiler: The Spec# Approach Wolfram Schulte Microsoft Research Formal Methods 2006 Joint work with Rustan Leino, Mike Barnett, Manuel.
213 views
High Level OpenCL Implementation
27 views