ACM SIGPLAN Notices 38(4) April 2003

[SIGPLAN] SIGPLAN Notices  

Lei Luo, Ming-Yuan Zhu, Qing-Li Zhang (2003) Lei Luo, Ming-Yuan Zhu, Qing-Li Zhang "A formal semantic definition of DEVIL" pp47-56