Name
Playground
About
FAQ
GitHub
Playground
Shortest Path Finder
Community Detector
Connected Papers
Author Trending
Tidjani Négadi
A. Alian
Daniel P. Kennedy
Barbara Aquilani
Maximilian Dürr
Jhonathan Pinzon
Liangliang Shang
O. Ardakanian
Chen Ma
Akihiro Matsushima
Home
/
Author
/
WILLIAM MANSKY
Author Info
Open Visualization
Name
Affiliation
Papers
WILLIAM MANSKY
Univ Illinois, Chicago, IL 60680 USA
1
Collaborators
Citations
PageRank
6
0
0.34
Referers
Referees
References
0
0
0
Publications (1 rows)
Collaborators (6 rows)
Referers (0 rows)
Referees (0 rows)
Title
Citations
PageRank
Year
COMPASS: Strong and Compositional Library Specifications in Relaxed Memory Separation Logic
0
0.34
2022
1
