making formal proofs that programs meet specifications part of contracts
Copyright © 2018 WordTech Co.