Boulanger, Jean-Louis Certifiable Software Applications 2 - Elsevier 2017 ISBN: 9781785481185 Source: EBOOK Subjects--Topical Terms: Computer Science