"The job of formal methods is to elucidate the assumptions upon which formal correctness depends."

--
Tony Hoare

#Jobs #Assumption #Formal

+1
Share
Pin
Like
Send
Share

You may also like: