© Copyright 2021 Институт Систем Информатики СО РАН, Новосибирский Государственный Университет.

Предикатное программирование. Система верификации Why3 Видео и слайды лекций:


Designed with Mobirise web creator