Merkliste 
 1 Ergebnisse 
 
1

Teaching Them Early: Formal Methods in School:

, In: Communications in Computer and Information Science; Formal Methods – Fun for Everybody,
Moller, Faron ; O'Reilly, Liam ; Powell, Stewart. - p. 173-190 , 2021