Bibliography on Proving the Correctness of Computer Programs Ralph L. London
–AI Classics/files/AI/classics/Machine Intelligence 5/MI5-Appendix-London.pdf
Engeler, E., Proof theory and the accuracy of computations (to appear).
Jan-25-2015, 22:15:31 GMT
- Country:
- Europe
- Netherlands > North Holland (0.16)
- United Kingdom (1.00)
- North America > United States
- Rhode Island (0.15)
- Europe
- Industry:
- Government > Regional Government
- >
- > > >
- Europe Government (0.40)
- North America Government (0.46)
- > > >
- Europe Government > United Kingdom Government (0.40)
- North America Government > United States Government (0.46)
- >
- Government > Regional Government
- Technology: