ICALP 2023 - Keynote Talk - Rupak Majumdar

  • 30 views

  • 0 Kommentare

  • 0 favorites

Keynote talk / Rupak Majumdar / Context-Bounded Analysis of Concurrent Programs / Session Chair: Anca Muscholl

Tags:
Kategorien: Veranstaltungen, Forschung