4340 search results - page 70 / 868 » Formal Methods and Cryptography |
114
click to vote
CSUR
1999
15 years 3 months ago
1999
with functions over those sets. This level of abstraction is commensurate with the view that the correctness of the input/output behaviour of a program takes precedence over all it...
137
Voted
SCP
2002
15 years 3 months ago
2002
95
Voted
SCP
2002
15 years 3 months ago
2002
119
Voted
ISSE
2010
15 years 2 months ago
2010
116
Voted
ISSE
2010
15 years 2 months ago
2010