1. 7
    The Dogged Pursuit of Bug-Free C Programs: The Frama-C Software Analysis Platform formalmethods testing cacm.acm.org
    kiniry avatar via kiniry 2 years ago |
    Archive.org Archive.today Ghostarchive
    | no comments