TY  - RPRT
TI  - Panellist position statement: some industrial experience with program verification.
AU  - Roderick Chapman
PY  - 2005
DO  - 10.1098/rsta.2005.1652
UR  - https://pubmed.ncbi.nlm.nih.gov/16188612/
ID  - 16188612
ER  -