Abstract Interpretation and Application to the Static Analysis of Safety-Critical Embedded Computer Software
Patrick Cousot
|École normale supérieure, Paris9/30 (화) 15:00
|302 Buliding, Room 105
2008
- keyboard_double_arrow_leftnavigate_beforenavigate_nextkeyboard_double_arrow_right