Technique et science informatiques RSTI série TSI volume 34 n° 5/septembre-octobre 2015 ; approches formelles pour le développement de logiciels de Catherine Dubois, Regine Laleau — Avis et clubs de lecture | Booklub