TY - JOUR ID - 145091786 TI - Abstract interpretation: a semantics-based tool for program analysis AU - Jones, Neil. AU - NIELSON, Flemming PY - DB - UniCat UR - https://www.unicat.be/uniCat?func=search&query=sysid:145091786 AB - ER -