Haimei Luo
Timeline
Legend:
Book In proceedings Article PhD thesis Dataset OtherLinks
On csauthors.net:
Bibliography
2020
IEICE Trans. Commun., 2020
Development Method of Three Kinds of Typical Tree Structure Algorithms and Isabelle-based Machine Assisted Verification.
Proceedings of the 20th IEEE International Conference on Software Quality, 2020