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