Termite - Termination analyser

Research paper

Source code/ Experimental results

Authors

Credits