Report - Automated reasoning for equivalences in the …...Maude-NPA [23] and Tamarin [24] also use that notion, and Baudet [25] showed that diff-equivalence is decidable for a bounded num-

Select PornographicDefamatoryIllegal/UnlawfulSpamOther Terms Of Service ViolationFile a copyright complaint

Please pass captcha verification before submit form