×
+ All Categories
Log in
English
Français
Español
Deutsch
The top documents tagged [program program actions]
Home >
program program actions
Safety and Liveness. Defining Programs Variables with respective domain –State space of the program Program actions –Guarded commands Program computation.
230 views