Timo Kehrer

ソフトウェア開発におけるGitHub Actionsの維持管理の課題を探る。

フォーマルメソッドがソフトウェアの信頼性を向上させ、バグを早めに見つける手助けをする方法を発見しよう。