Handbook of Software Fault Localization: Foundations and Advances

  • Length: 608 pages
  • Publication Date: 2023-05-02

Quick Functional Programming

  • Length: 128 pages
  • Publication Date: 2023-06-21

Program Proofs

  • Length: 496 pages
  • Publication Date: 2023-03-07