TY  - RPRT
TI  - A Formal System: Rigorous Constructions of Computer Models
AU  - Garry Pantelis
PY  - 2017
UR  - https://arxiv.org/abs/1510.04469
ID  - 1510.04469
ER  -