Keyword:Indirect Formalization

Publications
EasyChair Preprint 15761