This is your work, valued

Klosterneuburg, Austria

Ehsan Kafshdar Goharshady

Advanced
@ekgma

RevTerm. RevTerm non-termination proving tool

3