Title
From Traces To Proofs: Proving Concurrent Program Safe
Year
Venue
Field
2015
TASE
Graph,Programming language,Scheduling (computing),Computer science,Correctness,Thread (computing),Theoretical computer science,Finite state,Mathematical proof,Memory model
DocType
Volume
Citations 
Journal
abs/1506.07635
0
PageRank 
References 
Authors
0.34
0
3
Name
Order
Citations
PageRank
Chinmay Narayan1533.53
Shibashis Guha2158.55
S. Arun-Kumar341.49