"Leveraging the Power of Graph Algorithms: Efficient Alogrithms for Computer-Aided Verification"
Public defence on June 14, 2021
14.06.2021 14:00
Organiser:
Location:
Online
Interested faculty members and students can contact the StudentServiceCenter (ssc.informatik@univie.ac.at) for participation details.