TY  - RPRT
TI  - Teaching Programming and Design-by-Contract
AU  - Daniel de Carvalho
AU  - Rasheed Hussain
AU  - Adil Khan
AU  - Mansur Khazeev
AU  - JooYong Lee
AU  - Sergey Masiagin
AU  - Manuel Mazzara
AU  - Ruslan Mustafin
AU  - Alexandr Naumchev
AU  - Victor Rivera
PY  - 2018
DO  - 10.1007/978-3-030-11935-5
UR  - https://arxiv.org/abs/1710.07956
ID  - 1710.07956
ER  -