×
  • An Introduction to Practical Formal Methods Using Temporal Logic

    Michael Fisher

Click on cover to enlarge.
8 - 9Hours to read