Report - 1 B is a method for specifying, designing, and coding software systems. J.R. Abrial, The B-Book, Cambridge University Press.

Please pass captcha verification before submit form