A Toolset for Support of Teaching Formal Software Development. - Stefan Korecko; Ján Sorád; Zuzana Dudláková; Branislav Sobota (SEFM, 2014)