Browse by Organisational Unit

Subcategories: There are no further subcategories

31 Results for this Organisational Unit

Subscribe to RSS feed for this result set

Page 1 of 2

1 2 Next Page › Last Page »

3. Applying data mining to contract inference

Kazmin, Nikolay (2010)


Master and Bachelor Theses

9. Concurrency patterns in SCOOP

Schmocker, Roman (2014)


Master and Bachelor Theses

10. Contract wizard 3.0

Marty, Petra (2004)


Master and Bachelor Theses

11. Effective Race Detection for Android

Bielik, Pavol (2014)


Master and Bachelor Theses

14. Fast Algorithms for Octagon Abstract Domain

Singh, Gagandeep (2014)


Master and Bachelor Theses

21. Objective-C frameworks to Eiffel converter

Cortonesi, Matteo (2010)


Master and Bachelor Theses

22. Overapproximating the Cost of Loops

Schweizer, Daniel (2013)


Master and Bachelor Theses

25. Reusable mathematical models

Widmer, Tobias K. (2004)


Master and Bachelor Theses


Page 1 of 2

1 2 Next Page › Last Page »