Now showing items 1-2 of 2

    Issue DateTitleAuthor(s)
    15 May 2023Using Deep Ontologies in Formal Software Engineering  Brucker, AD; Ait-Sadoune, I; Méric, N; et al.
    18 July 2018Using the isabelle ontology framework: Linking the formal with the informal  Brucker, AD; Ait-Sadoune, I; Crisafulli, P; et al.