Back to Results
First PageMeta Content
Logic / Mathematical logic / Linguistics / Dekker's algorithm / Edsger W. Dijkstra / Predicate / Flag


Predicate Abstraction for Relaxed Memory Models Andrei Dan Martin Vechev
Add to Reading List

Document Date: 2018-01-15 09:26:26

Open Document

File Size: 3,16 MB

Share Result on Facebook
UPDATE