การเคลื่อนที่แนวเส้นตรง
Spring 2014 Program Analysis and Verification Lecture 11: Abstract Interpretation III
C Symper