Automatic Formal Synthesis of Hardware from Higher Order Logic - Sciweavers

33

click to vote

more ENTCS 2006 ...

www.cl.cam.ac.uk

Tweet