×
+ All Categories
Log in
English
Français
Español
Deutsch
The top documents tagged [p u s r ag]
Home >
p u s r ag
Specification Patterns Early taxonomy for property specifications –safety properties: nothing bad will ever happen –liveness properties: something good.
220 views
Specification Patterns
15 views