LARA - Laboratory for Automated Reasoning and Analysis

Latest additions:
2018-06-28
12:47
Lecture Notes in Computer Science, 9207, 217-233 (2015)
14 July 2015 | Conference Papers |

Detailed record - Similar records
2018-06-28
12:44
Proceedings of the International Conference on Computer Aided Verification, 9207, 198-216 (2015)
14 July 2015 | Conference Papers |

Detailed record - Similar records
2018-06-28
12:39
Electronic Proceedings in Theoretical Computer Science, 229, 100-111 (2017)
03 May 2017 | Conference Papers |

Detailed record - Similar records
2018-06-28
12:31
Lecture Notes in Computer Science, 9706, 568-577 (2016)
12 June 2016 | Conference Papers |

Detailed record - Similar records
2018-06-28
12:25
ACM Transactions on Programming Languages and Systems, 39 (2), 1-28 (2017)
2017-05 | Journal Articles |

Detailed record - Similar records
2018-06-28
12:20

Detailed record - Similar records
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