Michael Sammler

プログラム検証が重要な業界でソフトウェアの信頼性をどう確保するかを学ぼう。