Keyword:formal understanding models

Papers
EasyChair Preprint no. 9685