開発失敗の「総括」は十分なのか?

「足りなかった知見は2つある。1つは型式証明プロセスで、必要な仕事の段取りや、やり方、進め方、文書の準備の仕方、いろいろな設計データの整備の仕方などのプロセスが

残り2358文字