2 search results - page 1 / 1 » Higher order Moreau's sweeping process: mathematical formula... |
160
click to vote
FTRTFT
1998
Springer
15 years 10 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...