On the Challenges of Quantitative Reasoning

  • Radu Mardare (Invited speaker)

Activity: Talk or presentation types › Invited talk

PeriodJun 2023
Event titleOpen Problems in Concurrency Theory, OPCT 2023
Event typeWorkshop
LocationBertinoro, ItalyShow on map
Degree of RecognitionInternational

Documents & Links