LINUX.ORG.RU

История изменений

Исправление tailgunner, (текущая версия) :

в автопроме надобно Ada + SPARK использовать ибо кошерно!

расскажи о своем опыте использования SPARK.

сам не использую, но слышал, что круто

Окей.

Исходная версия tailgunner, :

в автопроме надобно Ada + SPARK использовать ибо кошерно!

расскажи о своем опыте использования SPARK.

что-то слышал, но не использую

Окей.