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

Get Social with TBU

Follow The Behaviour University in order to get the greatest quotes from the greatest people of all time so that you can tap into your own greatness.