Software Abstractions: Logic, Language, and Analysis

  • Length: 376 pages
  • Publication Date: 2012-02