At the Symposium »Logic and Algorithms: A Scientific Perspective« for the official opening of VCLA.
Edmund M. Clarke
30 Years of Model Checking
At the Symposium »Logic and Algorithms: A Scientific Perspective« for the official opening of VCLA.
30 Years of Model Checking
At the Symposium »Logic and Algorithms: A Scientific Perspective« for the official opening of VCLA.