Y. Tachi
Japan Advanced Institute of Science and Technology(JP)
Research Areas
Formal Methods in Verification, Software Testing and Debugging Techniques, Software Reliability and Analysis Research
Formal Methods in Verification, Software Testing and Debugging Techniques, Software Reliability and Analysis Research