×
+ All Categories
Log in
English
Français
Español
Deutsch
The top documents tagged [axiomatic proof technique]
Home >
axiomatic proof technique
Programming Language Semantics Rely/Guarantee Reasoning Parallel Programs Tal Lev-Ami Viktor Vafeiadis Mooly Sagiv.
220 views
An Axiomatic Proof Technique for Parallel Programs
28 views