Search alternatives:
on programming » in programming (Expand search), cone programming (Expand search), and programming (Expand search)
python coding » python codigo (Expand search), action coding (Expand search), python code (Expand search)
coding python » codigo python (Expand search), codigos python (Expand search), using python (Expand search)
python python » pythons python (Expand search), piton python (Expand search), pitons python (Expand search)
coder coder » coder decoder (Expand search), code code (Expand search), decoder codec (Expand search)
proof on » proof of (Expand search), proof in (Expand search), proof and (Expand search)
on programming » in programming (Expand search), cone programming (Expand search), and programming (Expand search)
python coding » python codigo (Expand search), action coding (Expand search), python code (Expand search)
coding python » codigo python (Expand search), codigos python (Expand search), using python (Expand search)
python python » pythons python (Expand search), piton python (Expand search), pitons python (Expand search)
coder coder » coder decoder (Expand search), code code (Expand search), decoder codec (Expand search)
proof on » proof of (Expand search), proof in (Expand search), proof and (Expand search)
1
2
3
5
6
7
8
9
10
11
“...The use of Automatic Code Generators for Formal Methods not only minimizes efforts on the...”
Access document
Access document
Doctoral thesis
12
“... of a student’s progress on a programming course. Throughout the course of this project and as a proof...”
Access document
Access document
13
14
15
16
“...Este trabalho investiga criticamente a prática do live coding, uma arte performática que envolve...”
Access document
Access document
Bachelor thesis
17
18
Subjects:
“...[pt] PROOF-CARRYING CODE...”
Access document (1)
Access document (2)
Access document (3)
Access document (1)
Access document (2)
Access document (3)
Doctoral thesis
19
20