2 points | by julianpye a day ago
1 comments
For me this is a seminal article, which almost eight years later still raises eloquently the most critical barriers to practical adoption. I read it again after reading the formal verification thread.
For me this is a seminal article, which almost eight years later still raises eloquently the most critical barriers to practical adoption. I read it again after reading the formal verification thread.