Фотографии доклада: Max Kanovich, How and Why Separation Logic is good for Resource Reasoning about Programs

RUS ENG

ЖУРНАЛЫ ПЕРСОНАЛИИ ОРГАНИЗАЦИИ КОНФЕРЕНЦИИ СЕМИНАРЫ ВИДЕОТЕКА ПАКЕТ AMSBIB

JavaScript is disabled in your browser. Please switch it on to enable full functionality of the website

How and Why Separation Logic is good for Resource Reasoning about Programs
Max Kanovich

Обратная связь:

Пользовательское соглашение

Регистрация

© Математический институт им. В. А. Стеклова РАН, 2025
© Российская академия наук, Отделение математических наук, 2025