TY - GEN

AU - Asăvoae, Irina Măriuca

AU - Asăvoae, Mihail

TI - Rewriting Logic and Its Applications: Collecting Semantics under Predicate Abstraction in the K Framework

PB - Springer Berlin Heidelberg

SN - 0302-9743

SN - 1611-3349

PY - 2010

ER -