MTSS Center, NII
Research Center for Mathematical Trust in Software and Systems, National Institute of Informatics
