Skip to main navigation Skip to search Skip to main content

On the Challenges of Quantitative Reasoning

  • Radu Mardare (Invited speaker)

Activity: Talk or Presentation › Invited talk

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

Documents & Links