%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 }