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

Projects 2009 2023

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

Trust: Trusted Systems

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

1/10/1930/09/23

Project: Research