Search Results - "abstract interpretation"

  • Showing 1 - 1 results of 1
Refine Results
  1. 1
    Cover Image

    Deductive verification of object-oriented software : dynamic frames, dynamic logic and predicate abstraction by Weiß, Benjamin

    Published 2011
    Subjects: “…abstract interpretation…”
    DOAB: download the publication
    DOAB: description of the publication
    Electronic Book Chapter

    Save to List
    Saved in:

Search Tools: