1. 3
    Verifying Bubble Sort in Whiley compsci formalmethods whiley.org
    hwayne avatar via hwayne 7 months ago | cached | 1 comment

  1.  

  2. 1
    aminb avatar aminb 7 months ago | link

    Dave also gave a talk on Whiley last year: David Pearce - What does the Future of Programming Look Like? (demo at the 11:25 mark).