Go home now Header Background Image
Search
Submission Procedure
share: |
 
Follow us
 
 
 
 

Benjamin Goldberg
New York University, USA

L. Zuck, A. Pnueli, Y. Fang, B. Goldberg:
VOC: A Methodology for the Translation Validation of OptimizingCompilers
/jucs_9_3/voc_a_methodology_for
page 223 - 247
Vol.9 / Issue 3