Deciding Program Properties via Complete Abstractions on Bounded Domains | Publicación