{
  "title": "BankAccount with JML Specifications",
  "origin_url": "https://www.cs.ucf.edu/~leavens/JML/jmldbc.pdf",
  "license_guess": null,
  "code_sha256": "a8ab4c42238942942ddd4bfbbff1bf1767ee2b5e4c39518cb5b1bc83e3a94f7c",
  "added_at": "2026-02-10T12:00:00Z"
}