Stem edd$ (all stems)
1 papers:
TACAS-2014-CaballeroMRT #debugging #declarative #erlang #named #source code- EDD: A Declarative Debugger for Sequential Erlang Programs (RC, EMM, AR, ST), pp. 581–586.
 
TACAS-2014-CaballeroMRT #debugging #declarative #erlang #named #source code