"Formal methods for industrial critical systems : 17th international workshop, FMICS 2012, Paris, France, August 27-28, 2012 : proceedings" - читать интересную книгу автора (Mariëlle Stoelinga; Ralf Pinger )