×
  • FM 2015: Formal Methods: 20th International Symposium, Oslo, Norway, June 24-26, 2015, Proceedings

    Nikolaj Bjørner

Click on cover to enlarge.
Buy This Book
From Amazon.
14 - 16Hours to read