1 citations · 1 across the 2 of their papers we have counts for
1 paper · 2 filters
Kostas Ferles, Jon Stephens, Isil Dillig
Several real-world libraries (e.g., reentrant locks, GUI frameworks, serialization libraries) require their clients to use the provided API in a manner that conforms to a context-f…