Search results for: Étienne Duris
Lecture Notes in Computer Science > Programming Languages: Implementations, Logics, and Programs > 122-136
Lecture Notes in Computer Science > Static Analysis > Foundations > 264-283
Science of Computer Programming > 2013 > 78 > 10 > 1871-1891
Electronic Notes in Theoretical Computer Science > 2009 > 238 > 5 > 47-62