Picture of head and brain anatomy

Psychology: investigating cognition with Open Access research...

Strathprints makes available scholarly Open Access content by researchers within the School of Psychological Sciences & Health, including those based in Psychology.

Research at Psychology includes those working within cognition, exploring neuropsychology, attention, perception, affect and language using techniques such as neuroimaging, electroencephalography (EEG) and motion capture.

Explore the Open Access research by Psychology, or explore all of Strathclyde's Open Access research...

Browse by Journal or other publication

Up a level
Export as [feed] Atom [feed] RSS 1.0 [feed] RSS 2.0
Group by: Publication Date | Item type | No Grouping
Jump to: 2020
Number of items: 1.


Kokke, Wen and Komendantskaya, Ekaterina and Kienitz, Daniel and Atkey, Bob and Aspinall, David (2020) Neural networks, secure by construction : an exploration of refinement types. In: The 18th Asian Symposium on Programming Languages and Systems, 2020-11-29 - 2020-12-03, Online. (In Press)

This list was generated on Sat Nov 28 17:53:47 2020 GMT.