Search alternatives:
coupling python » coupling protein (Expand search)
using coupling » running coupling (Expand search), using competing (Expand search), using coupled (Expand search)
component code » component mode (Expand search), component cone (Expand search), component model (Expand search)
code programs » cone programs (Expand search), care programs (Expand search), income programs (Expand search)
python python » pythons python (Expand search), piton python (Expand search), pitons python (Expand search)
in component » in components (Expand search), main component (Expand search), and component (Expand search)
code in » code and (Expand search)
coupling python » coupling protein (Expand search)
using coupling » running coupling (Expand search), using competing (Expand search), using coupled (Expand search)
component code » component mode (Expand search), component cone (Expand search), component model (Expand search)
code programs » cone programs (Expand search), care programs (Expand search), income programs (Expand search)
python python » pythons python (Expand search), piton python (Expand search), pitons python (Expand search)
in component » in components (Expand search), main component (Expand search), and component (Expand search)
code in » code and (Expand search)
1
“... to integrate code contracts into OCaml programs. The implementation phase of the project is detailed, outlining...”
Access document
Access document
Master thesis
2
4
5
6
7
8
9
10
“... of a component by means of pre- conditions, postconditions and invariants. These annotations (or logical...”
Access document
Access document
11
12
13
14
15
16
17
18
“... application of our technique, we investigate the reconstruction of partial C programs. Incomplete source code...”
Access document
Access document
Doctoral thesis
19
20