Helmut Veith とは 投稿日: 2018年6月27日 投稿者: csword Helmut Veith(1971年2月5日〜2016年3月12日)はオーストリアのコンピュータ科学者で、コンピュータ支援検証、ソフトウェアエンジニアリング、コンピュータセキュリティ、コンピュータサイエンスの分野で働いていました。彼はオーストリアのウィーン工科大学(TU Wien)の情報学の教授でした。原文: Helmut Veith (Wikipedia)