Certifiable Software Applications 1 - Jean-Louis, Boulanger (Elsevier, 2016)
Keywords: Computer Science