Compiler verification meets cross-language linking via data abstraction
2004 ◽
Vol 20
(4)
◽
pp. 349-357
◽