Home › Authors › Konstantine Arkoudas 👤 Konstantine Arkoudas 1 book Books by Konstantine Arkoudas Fundamental proof methods in c Fundamental proof methods in computer science 2017