FakultätskolloquiumVeranstalter: WIAI Dienstag, 1.8.2017: 16:00 - 18:00 Uhr; WE5/05.003Vortrag:
Graph-Based Static Analysis of Concurrent Pointer Programs
(Dr. Thomas Noll, RWTH Aachen)
Kontakt: | Mendler, Michael Professur für Grundlagen der Informatik Telefon +49-951-863-2828, Fax +49-951-863-5861, E-Mail: michael.mendler@uni-bamberg.de |
Der Termin wird im Veranstaltungskalender angezeigt. |