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

Wen Kokke, Ekaterina Komendantskaya, Daniel Kienitz, Robert Atkey, David Aspinall

Browse the full APLAS paper archive.