Keyword:formal understanding models

Publications
EasyChair Preprint 9685