Browsing Computer Science by Author "Ait-Sadoune, I"
Now showing items 1-2 of 2
Issue Date | Title | Author(s) |
---|---|---|
15 May 2023 | Using Deep Ontologies in Formal Software Engineering | Brucker, AD; Ait-Sadoune, I; Méric, N; et al. |
18 July 2018 | Using the isabelle ontology framework: Linking the formal with the informal | Brucker, AD; Ait-Sadoune, I; Crisafulli, P; et al. |