« « Curriculums

Automatically Proving That Computer Programs Do What They are Supposed to Do

External url: http://www.philsoc.org/2017Fall/2382abstract.html
Authors: Byron Cook
Journals: The Philosophical Society
Categories: Innovation Policy, Science, Technology
Year/Period: 2017
Pages:
Date: Dec 10, 2018