The ABS Simulator Toolchain

Published in SCP, 2022

Recommended citation: Rudolf Schlatte, Einar Broch Johnsen, Eduard Kamburjan, Silvia Lizeth Tapia Tarifa. (2022). Sci. Comput. Program.. Vol 223, Elsevier.