Login / Signup

Reversible debugging of concurrent Erlang programs: Supporting imperative primitives.

Pietro LamiIvan LaneseJean-Bernard StefaniClaudio Sacerdoti CoenGiovanni Fabbretti
Published in: J. Log. Algebraic Methods Program. (2024)
Keyphrases