メンバー紹介 - Yasuyuki Tahara, “Towards Flexible And Safe IoT Software with Formal Verification”, International Conference on Health Informatics, Intelligent Systems And Networking Technologies (HINT), invited talk (2024.3)

Yasuyuki Tahara, “Towards Flexible And Safe IoT Software with Formal Verification”, International Conference on Health Informatics, Intelligent Systems And Networking Technologies (HINT), invited talk (2024.3)