×
  • Formal Methods for Industrial Critical Systems: 18th International Workshop, FMICS 2013, Madrid, Spain, September 23-24, 2013. Proceedings

    Adrien Champion Rémi Delmas (auth.) Charles Pecheur Michael Dierkes (eds.)

Click on cover to enlarge.
Buy This Book
From Amazon.
4 - 5Hours to read