Symbolic Reasoning in Artificial Intelligence Allows for the Development of `Correct-by-Construction' Systems

Activity: Talk or presentation types › Oral presentation

Period23 Oct 2018
Held atFaculty of Computer Science
Degree of RecognitionNational