Deny-Guarantee Reasoning

In  ESOP

Publisher  Springer Verlag
All copyrights reserved by Springer 2009.

Details

TypeInproceedings
> Publications > Deny-Guarantee Reasoning