Static analysis : 27th international symposium, SAS 2020, virtual event, November 18-20, 2020 : proceedings

Veröffentlicht 2020

Analysing installation scenarios of Debian packages

von Becker, Benedikt
Veröffentlicht in TACAS (26. : 2020 : Online) Tools and algorithms for the construction and analysis of systems ; Part 2 (2020)