Back to Search
Start Over
Using Deep Ontologies in Formal Software Engineering
- Source :
- Rigorous State-Based Methods ISBN: 9783031331626
- Publication Year :
- 2023
- Publisher :
- Springer Nature Switzerland, 2023.
Details
- ISBN :
- 978-3-031-33162-6
- ISBNs :
- 9783031331626
- Database :
- OpenAIRE
- Journal :
- Rigorous State-Based Methods ISBN: 9783031331626
- Accession number :
- edsair.doi...........2e43f76b828096bc912fbd1cb97e50a2
- Full Text :
- https://doi.org/10.1007/978-3-031-33163-3_2