Browse by Organisational Unit

Subcategories: There are no further subcategories

27 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

7. Contract wizard 3.0

Marty, Petra (2004)


Master and Bachelor Theses

8. Effective Race Detection for Android

Bielik, Pavol (2014)


Master and Bachelor Theses

11. Fast Algorithms for Octagon Abstract Domain

Singh, Gagandeep (2014)


Master and Bachelor Theses

17. Objective-C frameworks to Eiffel converter

Cortonesi, Matteo (2010)


Master and Bachelor Theses

18. Overapproximating the Cost of Loops

Schweizer, Daniel (2013)


Master and Bachelor Theses

21. Reusable mathematical models

Widmer, Tobias K. (2004)


Master and Bachelor Theses

22. Rule-based code analysis

Zurfluh, Stefan (2014)


Master and Bachelor Theses


Page 1 of 2

1 2 Next Page › Last Page »