1. 5
    How Verified (or Tested) is My Code? Falsification-Driven Verification and Testing pdf formalmethods testing agroce.github.io
    pushcx avatar via pushcx 1 month ago | cached | no comments

  1.