Deductive verification of object-oriented software : dynamic frames, dynamic logic and predicate abstraction

Title Statements

• Full title :Deductive verification of object-oriented software : dynamic frames, dynamic logic and predicate abstraction

Edition Statements

• Publication Date:2011

Publication Statements

• Publisher(s):KIT Scientific Publishing
• Language:und
• Publication Date:2011

Notes

Edition Identifiers

• oclc:on1113904837
• Dewey Decimal:005.14

Writers