GitHub repository: ASSERT-KTH/STRAC
Primary language: Roff
Description: STRAC (Scalable Trace Comparison) http://arxiv.org/pdf/1910.03478