Logic for Computer Science: The Engineering Challenge

@inproceedings{Thomas2001LogicFC,
  title={Logic for Computer Science: The Engineering Challenge},
  author={Wolfgang Thomas},
  booktitle={Informatics},
  year={2001}
}
Highly Cited
This paper has 31 citations. REVIEW CITATIONS

From This Paper

Topics from this paper.