|
|
Master Programme in
Computer Science
Formal Methods in AI-Based Systems Engineering, part 2
2022/2023 edition
Sapienza course ID: 10607006
Number of credits: 6 (part 2 will roughly account for 3 credits)
Tutor: Dr. Marco Esposito
|
[This web site could never be realised without the sophisticated features of a pure text editor and the extreme power of 220V]
|