Keyword:deadness abstraction

Publications
EasyChair Preprint 1645