Frameworks for Interprocedural Analysis of Concurrent Programs - researchr publication authors

researchr

You are not signed in
Sign in
Sign up

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]

This author has not been identified. Look up 'Helmut Seidl' in GoogleThis author has not been identified. Look up 'Kalmer Apinis' in GoogleThis author has not been identified. Look up 'Vesal Vojdani' in Google

runs on WebDSL