Integrated Formal Methods: 4th International Conference, Ifm 2004, Canterbury, Uk, April 4-7, 2004, ProceedingsIntegrated Formal Methods: 4th International Conference, Ifm…de John Derrick · traduction Eerke A. Boiten8 pointsJ'aiJe veux
