@incollection{SeidlAV14, author = {Helmut Seidl and Kalmer Apinis and Vesal Vojdani}, title = {Frameworks for {I}nterprocedural {A}nalysis of {C}oncurrent {P}rograms}, booktitle = {Software Systems Safety}, editor = {Orna Grumberg and Helmut Seidl and Maximilian Irlbeck}, year = 2014, pages = {309--347}, series = {NATO Science for Peace and Security Series, D: Information and Communication Security}, volume = {36}, publisher = {IOS Press}, doi = {10.3233/978-1-61499-385-8-309}, }