Questions fondamentales en ingénierie du logiciel: modélisation, vérification et évolution des applications

{description_courte}