Activity: Talk or presentation types › Oral presentation › Academic
Period
8 Nov 2018
Event title
International Symposium on Leveraging Applications of Formal Methods: Leveraging Applications of Formal Methods, Verification and Validation. Distributed Systems