Applications logicielles certifiables.
Boulanger, Jean-Louis,author.