PlanetaSofta.RU

Главная
Разработчики
Windows
О Планете

C: \
Главная \
Разработчики программ \
Rustan Leino

Программы от разработчика: Rustan Leino

Dafny

Dafny применяется для обучения и проверки ПО, использует Boogie и Z3.

© 2012 - 2025 PlanetaSofta.RU. All rights reserved.

На этом сайте мы используем файлы cookie, чтобы улучшить ваш пользовательский опыт. Продолжая использование сайта, вы соглашаетесь с нашей политикой использования cookie.