167 citations · 544 across the 15 of their papers we have counts for
1 paper · 1 filter
Daniel de Carvalho, Rasheed Hussain, Adil Khan +7
This paper summarizes the experience of teaching an introductory course to programming by using a correctness by construction approach at Innopolis University, Russian Federation.…