早稲田大学　基幹理工学部・研究科

@WasedaFse からのツイート
バグのないソフトウェアを目指して：近年のプログラム検証研究の動向
基幹理工学部情報理工学科寺内多智弘現在、コンピュータソフトウェアは社会生活のいたるところに使われています。例えば、...続きを読む