×
+ All Categories
Log in
English
Français
Español
Deutsch
The top documents tagged [real issue8goal]
Home >
real issue8goal
Oracle Semantics Aquinas Hobor. Why Proofs about Code are Hard Math proofs tend to have the form If A, then B 2 Lipton, Perlis, DeMillo 1977.
216 views
Oracle Semantics for Concurrent Separation Logic
48 views