Static verification and extreme programming
Amey, Peter, Chapman, RoderickТом:
XXIV
Мова:
english
Журнал:
ACM SIGAda Ada Letters
DOI:
10.1145/992211.958422
Date:
March, 2004
Файл:
PDF, 174 KB
english, 2004