Dagstuhl Seminar 23112: Unifying Formal Methods for Trustworthy Distributed Systems

Kulahcioglu Ozkan, B. (Participant)

Software Engineering

Activity: Participating in or organising an event › Participation in workshop, seminar, course

Period	12 Mar 2023 → 15 Mar 2023
Event type	Seminar
Location	Wadern, GermanyShow on map
Degree of Recognition	International

Documents & Links

https://www.dagstuhl.de/en/seminars/seminar-calendar/seminar-details/23112