Login / Signup

Predicate Abstraction of Rewrite Theories.

Kyungmin BaeJosé Meseguer
Published in: RTA-TLCA (2014)
Keyphrases