1
Опубликовано 2013
Оглавление: ... Verification with Data -- Programming Without Borders -- Regular Papers -- Informative Types and Effects...
Полный текст
Электронный ресурс eКнига