Rigorous software development : an introduction to program verification - José Bacelar Almeida ... [et al.]. (London, 2011)
Keywords: Computer software--Verification. Computer software--Development.