Пожалуйста, войдите в систему, чтобы принять участие в дискуссии (добавить собственные рецензию, или комментарий)
Цитировать эту публикацию
%0 Conference Paper
%1 conf/aplas/KokkeKKAA20
%A Kokke, Wen
%A Komendantskaya, Ekaterina
%A Kienitz, Daniel
%A Atkey, Robert
%A Aspinall, David
%B APLAS
%D 2020
%E d. S. Oliveira, Bruno C.
%I Springer
%K dblp
%P 67-85
%T Neural Networks, Secure by Construction - An Exploration of Refinement Types.
%U http://dblp.uni-trier.de/db/conf/aplas/aplas2020.html#KokkeKKAA20
%V 12470
%@ 978-3-030-64437-6
@inproceedings{conf/aplas/KokkeKKAA20,
added-at = {2020-11-27T00:00:00.000+0100},
author = {Kokke, Wen and Komendantskaya, Ekaterina and Kienitz, Daniel and Atkey, Robert and Aspinall, David},
biburl = {https://www.bibsonomy.org/bibtex/25ddc57aef27d0eed3274194fa35414e9/dblp},
booktitle = {APLAS},
crossref = {conf/aplas/2020},
editor = {d. S. Oliveira, Bruno C.},
ee = {https://doi.org/10.1007/978-3-030-64437-6_4},
interhash = {ef0d915e3781108ada4a464a98a59782},
intrahash = {5ddc57aef27d0eed3274194fa35414e9},
isbn = {978-3-030-64437-6},
keywords = {dblp},
pages = {67-85},
publisher = {Springer},
series = {Lecture Notes in Computer Science},
timestamp = {2020-11-28T11:37:25.000+0100},
title = {Neural Networks, Secure by Construction - An Exploration of Refinement Types.},
url = {http://dblp.uni-trier.de/db/conf/aplas/aplas2020.html#KokkeKKAA20},
volume = 12470,
year = 2020
}