Provably Correct Software
10 credits
Reading list, Master's level, 1DL430
Main group 1
- Abrial, Jean-Raymond, The B-book, Cambridge University Press, 2005
- Schneider, Steve, The B-method: An Introduction, Palgrave, 2001
Reading list, Master's level, 1DL430