- NOVA LINCS SEMINAR SERIES
- Jun 2015
Tomas Vojnar (Brno University of Technology)
Title: Shape Analysis of Low-Level List Manipulating Programs via Symbolic Memory Graphs
Date: 17 June 2015, 14h00 | DI Seminars Room - FCT - UNL campus (Ed. II)
Read more >