×
  • Formal Methods for Industrial Critical Systems: 16th International Workshop, FMICS 2011, Trento, Italy, August 29-30, 2011. Proceedings

    Joost-Pieter Katoen (auth.)

Click on cover to enlarge.
Buy This Book
From Amazon.
6 - 7Hours to read