Results 191 to 200 of about 278,117 (225)
Some of the next articles are maybe not open access.
Mechanised wire-wise verification of Handel-C synthesis
Science of Computer Programming, 2012James Woodcock
exaly
Mechanised wire-wise verification of Handel-C synthesis
Science of Computer Programming, 2012