Utilisations industrielles des techniques formelles : interprétation abstraite de Jean-Louis Boulanger — Avis et clubs de lecture | Booklub