Formal Analysis and Application of the New Mode of "VR+ Education"Xiangyu MengITM Web Conf., 26 (2019) 01014DOI: https://doi.org/10.1051/itmconf/20192601014