Gunda Mertin

信頼性のあるソフトウェア開発のためのモデルチェックを教えるプログラム。