Ванредни састанак Семинара биће одржан онлајн у среду, 5.
маја 2021. са почетком у 20 часова.
Предавач: Philippa Gardner, Petar Maksimović
– Gillian, Part I: A Multi-language Platform for Symbolic Execution. Jose Fragoso Santos, Peter Maksimović, Sacha-Elie Ayoun, Philippa Gardner, PLDI’20.
Meeting ID: 161 104 8580