×
  • Formal Methods: Foundations and Applications: 20th Brazilian Symposium, SBMF 2017, Recife, Brazil, November 29 — December 1, 2017, Proceedings

    Simone Cavalheiro José Fiadeiro (eds.)

Click on cover to enlarge.
Buy This Book
From Amazon.