Showing 1 - 1 results of 1 for search 'Dilian Gurov', query time: 0.46s
Refine Results
-
1
An Abstraction Technique for Verifying Shared-Memory Concurrency by Wytse Oortwijn, Dilian Gurov, Marieke Huisman
Published 2020-06-01
Article