Helmut Seidl, Kalmer Apinis, Vesal Vojdani. Frameworks for Interprocedural Analysis of Concurrent Programs. In Orna Grumberg, Helmut Seidl, Maximilian Irlbeck, editors, Software Systems Safety. Volume 36 of NATO Science for Peace and Security Series, D: Information and Communication Security, pages 309-347, IOS Press, 2014. [doi]
@incollection{SeidlAV14,
title = {Frameworks for Interprocedural Analysis of Concurrent Programs},
author = {Helmut Seidl and Kalmer Apinis and Vesal Vojdani},
year = {2014},
doi = {10.3233/978-1-61499-385-8-309},
url = {http://dx.doi.org/10.3233/978-1-61499-385-8-309},
researchr = {https://researchr.org/publication/SeidlAV14},
cites = {0},
citedby = {0},
pages = {309-347},
booktitle = {Software Systems Safety},
editor = {Orna Grumberg and Helmut Seidl and Maximilian Irlbeck},
volume = {36},
series = {NATO Science for Peace and Security Series, D: Information and Communication Security},
publisher = {IOS Press},
isbn = {978-1-61499-385-8},
}