Deny-Guarantee Reasoning
Mike Dodds, Xinyu Feng, Matthew J. Parkinson, and Viktor Vafeiadis
2009
In ESOP
Publisher Springer Verlag
All copyrights reserved by Springer 2009.
Details
| Type | Inproceedings |
Related People
Share
Mike Dodds, Xinyu Feng, Matthew J. Parkinson, and Viktor Vafeiadis
2009
In ESOP
Publisher Springer Verlag
All copyrights reserved by Springer 2009.
| Type | Inproceedings |
