1. 5
    Moving Fast with Software Verification pdf mobile practices research.facebook.com
    craigstuntz avatar via craigstuntz 3 years ago | cached | 1 comment

  1.  

  2. 2
    kragen avatar kragen 3 years ago | link

    It would sure be nice to have a tag like “proof” or “formalmethods” for things like this.