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

Sabine Glesner
Institute for Program Structures and Data Organization University of Karlsruhe, Germany

S. Glesner:
Using Program Checking to Ensure the Correctness of Compiler Implementations
/jucs_9_3/using_program_checking_to
page 191 - 222
Vol.9 / Issue 3