Méthodes formelles pour l'analyse statique et la compilation (Technique et science informatiques RSTI série TSI Volume 30 N° 4/Avril 2011) de Blazy — Avis et clubs de lecture | Booklub