Search results for: Peter Schrammel
Formal Aspects of Computing > 2017 > 29 > 5 > 911-931
Lecture Notes in Computer Science > Static Analysis > 233-248
International Journal on Software Tools for Technology Transfer > 2016 > 18 > 3 > 319-334
Science of Computer Programming > 2014 > 93 > Part B > 125-153
Journal of Symbolic Computation > 2012 > 47 > 12 > 1512-1532
Electronic Notes in Theoretical Computer Science > 2010 > 267 > 1 > 101-114