Book Chapter
Abstract interpretation, symbolic execution and constraints
Roberto Amadini, Graeme Gange, Peter Schachte, Harald Sondergaard, Peter Stuckey
Recent Developments in the Design and Implementation of Programming Languages | Schloss Dagstuhl-Leibniz-Zentrum für Informatik | Published : 2020