Search alternatives:
tracking python » teaching python (Expand search), tracking method (Expand search), tracking position (Expand search)
using tracking » using stacking (Expand search), using ranking (Expand search), using brackish (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)
tracking python » teaching python (Expand search), tracking method (Expand search), tracking position (Expand search)
using tracking » using stacking (Expand search), using ranking (Expand search), using brackish (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
2
“... to integrate code contracts into OCaml programs. The implementation phase of the project is detailed, outlining...”
Access document
Access document
Master thesis
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
“... with the ReBase database, a package for the Unity game engine, and a library for the Python programming...”
Access document (1)
Access document (2)
Access document (1)
Access document (2)
Conference object
20