×
  • Formal Verification of Object-Oriented Software: International Conference, FoVeOOS 2011, Turin, Italy, October 5-7, 2011, Revised Selected Papers

    Anindya Banerjee (auth.) Bernhard Beckert Ferruccio Damiani Dilian Gurov (eds.)

Click on cover to enlarge.
5 - 6Hours to read