An avenue for exploitation and development of verification technology
Feiertag, R., Berson, T.Том:
6
Мова:
english
Журнал:
ACM SIGSOFT Software Engineering Notes
DOI:
10.1145/1010832.1010848
Date:
July, 1981
Файл:
PDF, 163 KB
english, 1981