LARA - Laboratory for Automated Reasoning and Analysis

Latest additions:
2018-06-21
16:31

Detailed record - Similar records
2017-11-13
08:17

Detailed record - Similar records
2017-09-29
11:25

Detailed record - Similar records
2017-09-20
11:20

Detailed record - Similar records
2017-09-14
19:25

Detailed record - Similar records
2017-08-21
13:47

Detailed record - Similar records
2017-07-18
16:17

Detailed record - Similar records
2017-07-14
20:17

Detailed record - Similar records
2017-07-10
13:42

Detailed record - Similar records
2017-06-29
10:53
POPL 2017 Proceedings of the 44th ACM SIGPLAN Symposium on Principles of Programming Languages, 52 (1), 626-638 (2017)
2017 | Conference Papers |

Detailed record - Similar records