Microsoft Research’s Z3 theorem prover has been awarded the 2015 ACM SIGPLAN Programming Languages Software Award. The award is given for “developing a software system that has had a lasting influence ...
Some results have been hidden because they may be inaccessible to you
Show inaccessible results