Institute of Applied Informatics and Formal Description Methods

GPTKB entity