External Links

Cite Key

Statistics

  • References: 0
  • Cited by: 0
  • Reviews: 0
  • Bibliographies: 0

PDF

Researchr

Researchr is a web site for finding, collecting, sharing, and reviewing scientific publications, for researchers by researchers.

Sign up for an account to create a profile with publication list, tag and review your related work, and share bibliographies with your co-authors.

Neural Networks, Secure by Construction - An Exploration of Refinement Types

Wen Kokke, Ekaterina Komendantskaya, Daniel Kienitz, Robert Atkey, David Aspinall 0001. Neural Networks, Secure by Construction - An Exploration of Refinement Types. In Bruno C. D. S. Oliveira, editor, Programming Languages and Systems - 18th Asian Symposium, APLAS 2020, Fukuoka, Japan, November 30 - December 2, 2020, Proceedings. Volume 12470 of Lecture Notes in Computer Science, pages 67-85, Springer, 2020. [doi]

Authors

Wen Kokke

This author has not been identified. Look up 'Wen Kokke' in Google

Ekaterina Komendantskaya

This author has not been identified. Look up 'Ekaterina Komendantskaya' in Google

Daniel Kienitz

This author has not been identified. Look up 'Daniel Kienitz' in Google

Robert Atkey

This author has not been identified. Look up 'Robert Atkey' in Google

David Aspinall 0001

This author has not been identified. Look up 'David Aspinall 0001' in Google
runs on