https://catalogue-scientifique.canada.ca/record=2121386~S6*frc
naval research lab washington dc, 2006
Using a theorem prover to establish that a body of code correctly implements an algorithm is a task seldom undertaken because the effort required tends to be...
Publication gouvernementale