161 search results - page 33 / 33 » A system for processing handwritten bank checks automaticall... |
FTRTFT
1998
Springer
13 years 9 months ago
1998
Springer
A controversial issue in the formal methods community is the degree to which mathematical sophistication and theorem proving skills should be needed to apply a formal method. A fun...