Трек: Sas23 Generalized Program Sketching By Abstract Interpretation And Logical Abduction

Слушать Sas23 Generalized Program Sketching By Abstract Interpretation And Logical Abduction

Sas23 Generalized Program Sketching By Abstract Interpretation And Logical Abduction

Загрузил: ACM SIGPLAN
Длительность: 21 мин и 58 сек
Размер: 50.3 МБ
Битрейт: 320 Kbpsp
Прослушиваний: 22