A contract-based interprocedural safety analysis method
YANG Xiao-qi;LIU Jian
J4 . 2006, (3): 390 -394 . 

Copyright © 2018 Journal of Xidian University, All Rights Reserved.
Powered by Beijing Magtech Co. Ltd