Software engineering education: Rôles of formal specification and design calculi
Dines Bjørner, Jorge R. CuéllarТом:
6
Рік:
1998
Мова:
english
Сторінки:
45
DOI:
10.1023/a:1018969717835
Файл:
PDF, 258 KB
english, 1998