Merkliste 
 1 Ergebnisse 
 
1

Can Learning Formal Specification Be Fun? —Experience and P..:

, In: 2020 IEEE International Conference on Software Testing, Verification and Validation Workshops (ICSTW),