292 search results - page 16 / 59 » First-order intensional logic |
229
Voted
TAP
2010
Springer
15 years 5 months ago
2010
Springer
Program verification systems based on automated theorem provers rely on user-provided axioms in order to verify domain-specific properties of code. However, formulating axioms corr...
195
Voted
STACS
2009
Springer
16 years 2 months ago
2009
Springer
157
Voted
CSL
2007
Springer
16 years 1 months ago
2007
Springer
142
Voted
ISMVL
2003
IEEE
16 years 21 days ago
2003
IEEE
