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

	Aquis Exchange Monthly Statistics Feb-2017 € 13,938,544,778 1,068,768,383 Value Traded DocID: 1xVY0 - View Document
	Aquis Exchange Monthly Statistics Feb-2016 € 5,995,146,,183,444 Nestle SA DocID: 1xVWK - View Document
	Aquis Exchange Monthly Statistics Feb-2018 € 17,012,038,916 1,321,056,240 Nestle SA DocID: 1xVRB - View Document
	Aquis Exchange Monthly Statistics May-2016 € 6,758,607,,245,455 Novartis AG DocID: 1xVO3 - View Document
	Aquis Exchange Monthly Statistics Month: Value traded (EUR): Volume (no. of shares): Jun-2017 DocID: 1xVNh - View Document