by Köksal, Ali Sinan, Beck, Kirsten, Cronin, Dylan R., McKenna, Aaron, Camp, Nathan D., Srivastava, Saurabh, MacGilvray, Matthew E., Bodík, Rastislav, Wolf-Yadlin, Alejandro, Fraenkel, Ernest, Fisher, Jasmin, Gitter, Anthony
Published in Cell reports (Cambridge) (25.09.2018)

by Suter, Philippe, Köksal, Ali Sinan, Kuncak, Viktor
Published in Static Analysis (2011)

by Fisher, Jasmin, Köksal, Ali Sinan, Piterman, Nir, Woodhouse, Steven
Published in Computer Aided Verification (2015)

by Fisher, Jasmin, Köksal, Ali Sinan, Piterman, Nir, Woodhouse, Steven
Year of Publication 19.05.2015

by Fisher, Jasmin, Köksal, Ali Sinan, Piterman, Nir, Woodhouse, Steven
Published in arXiv.org (17.01.2018)