Abstract Interpretation and Application to the Static Analysis of Safety-Critical Embedded Computer SoftwarePatrick Cousot|École normale supérieure, Paris2008/9/30 (화) 오후 03:00|302 Buliding, Room 105