Yuan Yu
2 references under this name, matched as it is written. Somebody else may write under it too, and the same person may appear here spelled another way.
Model Checking TLA+ Specifications
Yuan Yu and others (1999) · Lecture notes in computer science · Springer Science+Business Media
Automated proofs of object code for a widely used microprocessor
Robert S. Boyer and others (1996) · Association for Computing Machinery (ACM)