Back to Results
First PageMeta Content
Theoretical computer science / Mathematics / Knowledge representation / Tree / Engineering / Minimum spanning tree / Graph / Separation logic / Topology


Mechanized Verification of Fine-grained Concurrent Programs st * Consi PLDI *
Add to Reading List

Document Date: 2016-03-01 06:31:32

Open Document

File Size: 499,62 KB

Share Result on Facebook
UPDATE