151
Voted
FMCAD
15 years 7 months ago
2009 Springer  108
click to vote
FMCAD
15 years 4 months ago
2009 Springer 
Abstract--The theory of arrays is ubiquitous in the context of software and hardware verification and symbolic analysis. The basic array theory was introduced by McCarthy and allow...
85
Voted
FMCAD
15 years 7 months ago
2009 Springer 86
Voted
FMCAD
15 years 7 months ago
2009 Springer 100
Voted
FMCAD
15 years 7 months ago
2009 Springer  |
Formal Methods