Extracting Frame Conditions from Operation Contracts

First Page		Document Content
Date: 2015-09-17 08:36:26 Theoretical computer science Formal methods Software engineering Logic in computer science Postcondition Object Constraint Language Causality Statistics Statistical hypothesis testing Invariant		Extracting Frame Conditions from Operation Contracts Add to Reading List Source URL: www.db.informatik.uni-bremen.de Download Document from Source Website File Size: 277,43 KB Share Document on Facebook