Share on Facebook Tweet on Twitter Share on LinkedIn Share by email
Deny-Guarantee Reasoning

Mike Dodds, Xinyu Feng, Matthew J. Parkinson, and Viktor Vafeiadis

Details

Publication typeInproceedings
Published inESOP
PublisherSpringer Verlag
> Publications > Deny-Guarantee Reasoning