invited tutorial, UnRAVeL: Uncertainty and Randomness in Algorithms, Verification and Logic, Rolduc, Netherlands

  • Radu Mardare (Speaker)

Activity: Talk or presentation types › Invited talk

Period2018
Event titleUnRAVeL Survey Lecture
Event typeSeminar
LocationNetherlandsShow on map
Degree of RecognitionInternational