On Software Infrastructure: Develop, Prove, Profit? | IEEE Journals & Magazine | IEEE Xplore