×
+ All Categories
Log in
English
Français
Español
Deutsch
The top documents tagged [specification s]
Home >
specification s
Automated Theorem Proving Lecture 1
32 views
Implementation-Based Testing
54 views
Network Measurements Working Group
33 views
PD 1096
220 views
A Theory of Mutations with Applications to Vacuity, Coverage, and Fault Tolerance
15 views
Software Testing
32 views
The Impact of Programming Language Theory on Computer Security
33 views
Inferring Synchronization under Limited Observability
20 views
The Impact of Programming Language Theory on Computer Security
36 views
Reasoning with optional and preferred requirements
455 views
< Previous