Publicaciones en las que colabora con Pierre Ganty (2)

2015

  1. From non-zenoness verification to termination

    2015 ACM/IEEE International Conference on Formal Methods and Models for Codesign, MEMOCODE 2015

2013

  1. Proving termination starting from the end

    Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics)