×
  • Verification of Object-Oriented Software. The KeY Approach: Foreword by K. Rustan M. Leino

    Reiner Hähnle (auth.)

Click on cover to enlarge.
Buy This Book
From Amazon.
15 - 17Hours to read