Biblio Export 1 results: RTF EndNote XML Filters: Author is Ki Watanabe [Clear All Filters]2020Okazaki, Hiroyuki, Shogo Shimura, Ki Miyamoto, Ki Watanabe, Yuichi Fuda, and Yasuyuki Murakami. "Practice of cryptographic education using formal security verification tools and the issues of e-Learning teaching materials ." J-STAGE 37, no. 1 (2020).Google Scholar(link is external) RTF EndNote XML
