Протестировал(@sqaunderhood). Приходил Yves Bertot и добавил пару компаний в мой список "A list of companies that use forma

Протестировал

1808 @sqaunderhood

Открыть

Фильтрованный контент о тестировании и качестве ПО.

@sqaunderhood 6 лет назад

Приходил Yves Bertot и добавил пару компаний в мой список "A list of companies that use formal verification methods in software engineering". Добавьте и вы, если какая-то компания там отсутствует.