×
  • Tools for Practical Software Verification: LASER, International Summer School 2011, Elba Island, Italy, Revised Tutorial Lectures

    Edmund M. Clarke

Click on cover to enlarge.
Buy This Book
From Amazon.
4 - 5Hours to read