Temporal higher-order contracts
Disney, Tim, Flanagan, Cormac, McCarthy, JayТом:
46
Мова:
english
Журнал:
ACM SIGPLAN Notices
DOI:
10.1145/2034574.2034800
Date:
September, 2011
Файл:
PDF, 642 KB
english, 2011