Here you will get the solution of Palgrave Macmillan Book’s exercise: Chapter 1 – High Integrity Software Development Chapter 3 – An Introduction to Specification in VDM-SL Share this with your friends