On the General Mathematical Models and Formal Properties of Software

Only for those daring enough to try.

JAMA-3206-14-SoftwareScience.pdf (474 KB)