Symbolic Reasoning in Artificial Intelligence Allows for the Development of `Correct-by-Construction' Systems
- Barkallah, M. (Speaker)
- Jacquet, J. (Speaker)
- Linden, I. (Speaker)
Activity: Talk or presentation types › Oral presentation
Activity: Talk or presentation types › Oral presentation