Provably Correct Software
7.5 credits
Reading list, Master's level, 1DL017
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, 1DL017