1. 3
    Verification of Full, Functional Correctness for Imperative, Linked, Data Structures (2010) ☶ pdf formalmethods java dspace.mit.edu
    nickpsecurity avatar via nickpsecurity 4 years ago |
    Archive.org Archive.today Ghostarchive
    | no comments

Github.