Showing 1 - 1 results of 1 for search 'Matthew J. Parkinson', query time: 0.02s
Refine Results
-
1
The Relationship Between Separation Logic and Implicit Dynamic Frames by Matthew J. Parkinson, Alexander J. Summers
Published 2012-07-01
Article