TY  - RPRT
TI  - Dependable software by design.
AU  - Daniel Jackson
PY  - 2006
DO  - 10.1038/scientificamerican0606-68
UR  - https://pubmed.ncbi.nlm.nih.gov/16711362/
ID  - 16711362
ER  -