石原 哉

教授
Group: 
Logic Unit
Research Center for Software Verification