TY  - RPRT
TI  - Neural Networks as Artificial Specifications
AU  - I. S. W. B. Prasetya
AU  - Minh An Tran
PY  - 2018
DO  - 10.1007/978-3-319-99927-2_11
UR  - https://arxiv.org/abs/1809.05701
ID  - 1809.05701
ER  -