ETAPS 2017

2017 European Joint Conferences on Theory and Practice of Software (ETAPS), April 22–29, 2017, Uppsala, Sweden

Desktop Layout

Security
TACAS
Stora Salen, 6th Floor
Context-Bounded Analysis for POWER
Parosh Aziz Abdulla, Mohamed Faouzi Atig, Ahmed Bouajjani, and Tuan Phong Ngo
(Uppsala University, Sweden; University of Paris Diderot, France)
Best-Paper Award Nominee
Publisher's Version
Preprint

Authors:


Time stamp: 2019-07-23T01:04:33+02:00