Formal Methods 2021/2022
formal-methods-20212022@diag.uniroma1.it
Description
Welcome to the discussion forum for course Formal Methods, edition 2021/2022, MSc in Engineering in Computer Science, Sapienza Univ. Rome.
Language
English
Privacy
Anyone on the web
can see group
Group members
can view members
Group members
can view conversations
Group members
can post
Anyone on the web
can ask to join group