Analysing installation scenarios of Debian packages.

Benedikt F. H. Becker, Nicolas Jeannerod, Claude March, Yann Rgis-Gianas, Mihaela Sighireanu, Ralf Treinen

Browse the full TACAS paper archive.