I agree that this site is using cookies. You can find further informations here.
X
Merkliste 
 1 Ergebnisse 
 
1

Using Deep Ontologies in Formal Software Engineering:

, In: Lecture Notes in Computer Science; Rigorous State-Based Methods,
Brucker, Achim D. ; Ait-Sadoune, Idir ; Méric, Nicolas. - p. 15-32 , 2023
Link: https://doi.org/10.1007/978-3-031-33163-3_2