Presentation Information

[AI-5-05]ソフトウェア工学への応用

〇Masaki Nakamura1 (1. Toyama Prefectural University)

Keywords:

Software Engineering,Formal Methods,AI

Password required to view