Increasing Engagement with Interactive Visualization: Formal Methods as Serious Games

Published in Formal Methods Teaching, 2021

Recommended citation: Eduard Kamburjan, Lukas Gr├Ątz. (2021). FMTea. LNCS 13122

Preprint DOI