RISC » SPECADT05 » Forums » News forum » Larch/C++ » Re: Larch/C++
Search 
 
Re: Larch/C++
by Wolfgang Schreiner - Wednesday, 19 October 2005, 01:18 PM
  I have added also a paper "Proof of Correctness of Data Representations"
to the materials (restricted section).

Regards, WS
Show parent | Reply