Yoriyuki Yamagata

Senior Researcher, Software Analytics Research Group, Information Technology Research Institute, AIST

Interests: Software verification, logic

Japanese »

New posts

Recent published papers

Recent published papers:

RV 2017

Our paper will be presented at RV2017.