Публикации с тегом контрактное программирование
Пробуем контрактное программирование С++20 уже сейчас +48
Почему люди не используют формальные методы? +29
Программирование согласно контракту на JVM +15
Осторожно, истинные контракты классов могут отличаться от формальных +8
