Back to Results
First PageMeta Content
Predicate logic / Models of computation / Formal methods / Computability theory / Lambda calculus / Theoretical computer science / Mereology / Modal logic / Free variables and bound variables / Logic / Mathematics / Mathematical logic


Automatic Mutual Exclusion and Atomicity Checks Mart´ın Abadi1,2 1 2
Add to Reading List

Document Date: 2009-07-21 20:04:04

Open Document

File Size: 203,12 KB

Share Result on Facebook
UPDATE