Z-based Formalization of Kits of Changes to Maintain Ontology Consistency.

Najla Sassi, Wassim Jaziri, Faez Gargouri

Browse the full IC3K paper archive.