mostly on computers and mathematics
Are formal tools for software development -- proving correctness of code -- needed more for the "make it work right" or the "make it work fast" phase of software development?
No comments:
Post a Comment