related documents Abstract interpretation with alien expressions and heap structures Conference Proceeding Scalable analysis of linear systems using mathematical programming Conference Proceeding
