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
-
Download citation