If you made any changes in Pure these will be visible here soon.

Projects 2009 2023

Trust: Trusted Systems

Ghani, N., McBride, C. & Nordvall Forsberg, F.

1/10/1930/09/23

Project: Research

Finished
Programming theory
Computer programming languages
Costs
Reusability
Model checking
Computer programming languages
Nuclear weapons
Software engineering
Feedback
Communication
Reusability
Containers
Marketing
Software engineering
Students
Computer programming
Computer programming languages
Semantics
Functional programming
Error detection
Computer programming languages
Computer programming
Computer science
Recursive functions
Mathematical models