An Algebraic Approach to the VERILOG Programming

@inproceedings{He2002AnAA,
  title={An Algebraic Approach to the VERILOG Programming},
  author={Jifeng He},
  booktitle={10th Anniversary Colloquium of UNU/IIST},
  year={2002}
}

Topic