Курс "Введение в формальную верификацию программ" от Антона Трунова

Курс Антона Трунова "Введение в формальную верификацию программ" начнется 11 марта и будет проходить по четвергам в 18:30. В рамках курса будут рассмотрены техники и инструменты формальной верификаци…