Publications

Type: Incollection [rss]

	2012
	A Formal Reference for SCOOP. Benjamin Morandi, Sebastian Nanz, Bertrand Meyer, Chapter in Empirical Software Engineering and Verification (Bertrand Meyer, Martin Nordio, eds.), Springer, volume 7007, 2012. [pdf] [bib]
	2010
	SCOOP -- A Contract-Based Concurrent Object-Oriented Programming Model. Benjamin Morandi, Sebastian S. Bauer, Bertrand Meyer, Chapter in Advanced Lectures on Software Engineering (Peter Müller, ed.), Springer, volume 6029, 2010. [pdf] [bib]