LARA - Laboratoire d'analyse et de raisonnement automatisés

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

Notice détaillée - Notices similaires
2018-06-28
12:44
Proceedings of the International Conference on Computer Aided Verification, 9207, 198-216 (2015)
14 July 2015 | Conference Papers |

Notice détaillée - Notices similaires
2018-06-28
12:39
Electronic Proceedings in Theoretical Computer Science, 229, 100-111 (2017)
03 May 2017 | Conference Papers |

Notice détaillée - Notices similaires
2018-06-28
12:31
Lecture Notes in Computer Science, 9706, 568-577 (2016)
12 June 2016 | Conference Papers |

Notice détaillée - Notices similaires
2018-06-28
12:25
ACM Transactions on Programming Languages and Systems, 39 (2), 1-28 (2017)
2017-05 | Journal Articles |

Notice détaillée - Notices similaires
2018-06-28
12:20

Notice détaillée - Notices similaires
2018-06-21
16:31

Notice détaillée - Notices similaires
2017-11-13
08:17

Notice détaillée - Notices similaires
2017-09-29
11:25

Notice détaillée - Notices similaires
2017-09-20
11:20

Notice détaillée - Notices similaires