×
+ All Categories
Log in
English
Français
Español
Deutsch
The top documents tagged [program representations]
Home >
program representations
Safe and Reliable Embedded Linux Programming: How to Get There
8.840 views
Program Representations. Representing programs Goals.
213 views
Recap from last time: live variables x := 5 y := x + 2 x := x + 1 y := x + 10... y...
220 views
Symbolic Tools for Program Proving
45 views