The verifying compiler: A grand challenge for computing research

Eitemau Tebyg

• The Verifying Compiler: A Grand Challenge for Computing Research
  gan: Hoare, C
  Cyhoeddwyd: (2003)
• The Verifying Compiler: A Grand Challenge for Computing Research
  gan: Hoare, C
  Cyhoeddwyd: (2003)
• The Verifying Compiler: A Grand Challenge for Computing Research
  gan: Hoare, C
  Cyhoeddwyd: (2003)
• The Verifying Compiler‚ a Grand Challenge for Computing Research
  gan: Hoare, C
  Cyhoeddwyd: (2005)
• The Verifying Compiler: A Grand Challenge for Computing Research
  gan: Hoare, C
  Cyhoeddwyd: (2015)