MOMENTAN AUSVERKAUFT

Flow-Insensitive Points-To Analyses for Frama-C von Max Berndt (2016, Taschenbuch)