3,661 followers
Using deep ontologies in formal software engineering. ~ Achim D. Brucker, Idir Ait-Sadoune, Nicolas Méric & Burkhart Wolff. https://t.co/lsNNUYyyav #ITP #IsabelleHOL
Using deep ontologies in formal software engineering. ~ Achim D. Brucker, Idir Ait-Sadoune, Nicolas Méric & Burkhart Wolff. https://t.co/lsNNUYyyav #ITP #IsabelleHOL