×
+ All Categories
Log in
English
Français
Español
Deutsch
The top documents tagged [q u ag]
Home >
q u 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