Introduction aux méthodes formelles (2° Ed.) de Jean-François Monin | Booklub